Valérie Bertin Michel Poize Jacques Pulou Joseph Sifakis Towards validated real-time software. 157-164 2000 ECRTS http://dx.doi.org/10.1109/EMRTS.2000.854003 conf/ecrts/2000 db/conf/ecrts/ecrts2000.html#BertinPPS00