Matteo Bordin Marco Panunzio Stefano Puri Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems. 491-492 2008 ASE http://dx.doi.org/10.1109/ASE.2008.86 conf/kbse/2008 db/conf/kbse/ase2008.html#BordinPP08