Peter Nazier Mosaad Martin Fränzle Bai Xue 0001 Model Checking Delay Differential Equations Against Metric Interval Temporal Logic. 77-109 2017 27 Sci. Ann. Comput. Sci. 1 http://www.info.uaic.ro/bin/Annals/Article?v=XXVII1&=2 db/journals/cuza/cuza27.html#MosaadF017