@incollectionBri2004, Author = {Brill, Mathias and Damm, Werner and Klose, Jochen and Westphal, Bernd and Wittke, Hartmut}, Title = {Live Sequence Charts}, Year = {2004}, Month = {01}, Series = {LNCS}, Booktitle = {Integration of Software Specification Techniques for Applications in Engineering}, type = {incollection} @COMMENTBibtex file generated on