1. Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in ERLANG. PrenticeHall, Englewood Cliffs (1993)
2. Atir, Y., Harel, D.: Using LSCs for scenario authoring in tactical simulators. In: SCSC, pp. 437–442 (2007)
3. Berry, G.: The foundations of Esterel. In: Proof, Language, and Interaction, pp. 425–454 (2000)
4. Bunker, A., Gopalakrishnan, G., Slind, K.: Live sequence charts applied to hardware requirements specification and verification. STTT 7(4), 341–350 (2005)
5. Combes, P., Harel, D., Kugler, H.: Modeling and verification of a telecommunication application using live sequence charts and the play-engine tool. Software and System Modeling 7(2), 157–175 (2008)