Applying LSCs to the specification of an air traffic control system (2003)

by Y Bontemps, P Heymans, H Kugler
Venue:Proc. of the 2nd Int. Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM03), at the 25th Int. Conf. on Software Engineering (ICSE03