Marcel Kyas Einar Broch Johnsen A Real-Time Extension of Creol for Modelling Biomedical Sensors. 42-60 2008 FMCO http://dx.doi.org/10.1007/978-3-642-04167-9_3 conf/fmco/2008 db/conf/fmco/fmco2008.html#KyasJ08