Statemate: a Working Environment for the Development of Complex Reactive Systems (1988)

by D Harel
Venue:in proceedings of 10th International Conference on Software Engineering