Model-Based Development: Combining Engineering Approaches and Formal Techniques.

Bernhard Schätz Model-Based Development: Combining Engineering Approaches and Formal Techniques. 1-2 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3308&spage=1 2004 conf/icfem/2004 ICFEM db/conf/icfem/icfem2004.html#Schatz04