@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 }