Using statecharts for describing th0 communication between complex systems (1986)

by A Bar-Tur, D Drusinsky, D Harel
Venue:Department of Applied Mathematics, The Weizmann Institute of Science, Rehovot