LSCs: Breathing Life into Message Sequence Charts. (2001)

by W Damm, D Harel
Venue:In Formal Methods in System Design