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. In Sang Lyul Min, Robert G. Pettit IV, Peter P. Puschner, Theo Ungerer, editors, Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings. Volume 6399 of Lecture Notes in Computer Science, pages 59-70, Springer, 2010. [doi]