Richard Bogenberger, David Trachtenherz. Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs. In Heinrich C. Mayr, Ruth Breu, editors, Modellierung 2006, 22.-24. März 2006, Innsbruck, Tirol, Austria, Proceedings. Volume 82 of LNI, pages 35-49, GI, 2006.