@article{Dam2001, Author = {Damm, W. and Harel, D.}, Title = {LSCs: Breathing Life into Message Sequence Charts}, Year = {2001}, Pages = {45-80}, Month = {01}, type = {article} } @COMMENT{Bibtex file generated on }