@article{Dam2005, Author = {Damm, Werner and Westphal, Bernd}, Title = {Live and let die: LSC-based verification of UML models.}, Year = {2005}, Pages = {117-159}, Month = {01}, Edition = {55}, type = {article} } @COMMENT{Bibtex file generated on }