Statemate: Semantics of Statecharts (1989)

by i-Logix