A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems.

Andreas Baumgart Philipp Reinkemeier Achim Rettberg Ingo Stierand Eike Thaden Raphael Weber A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems. 59-70 2010 SEUS http://dx.doi.org/10.1007/978-3-642-16256-5_8 conf/seus/2010 db/conf/seus/seus2010.html#BaumgartRRSTW10