Werner Damm David Harel LSCs: Breathing Life into Message Sequence Charts. 45-80 2001 19 Formal Methods in System Design 1 db/journals/fmsd/fmsd19.html#DammH01