STATEMATE: A Working Environment for the Development of Complex Reactive Systems (1990)

by D Harel
Venue:IEEE Transactions on Software Engineering