Ingo Stürmer, Christian Dziobek, Hartmut Pohlheim. Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software Development. In Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Volume 2008-2 of Informatik-Bericht, pages 28-39, TU Braunschweig, Institut für Software Systems Engineering, 2008. [doi]
Abstract is missing.