Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications.

Kohei Sakurai Péter Bokor Neeraj Suri Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. 261-270 2008 HASE http://dx.doi.org/10.1109/HASE.2008.45 conf/hase/2008 db/conf/hase/hase2008.html#SakuraiBS08