@incollection{Bri2006,Author = {Brill, Matthias and Buschermöhle, Ralf and Damm, Werner and Klose, Jochen and Westphal, Bernd and Wittke, Hartmut},Title = {Formal Verification of LSC's in the Development Process},Year = {2006},Month = {06},Series = {LNCS},Booktitle = {Integration of Software Specification Techniques for Applications in Engineering},type = {incollection}}@COMMENT{Bibtex file generated on }