Harel, David Lachover, Hagi Trakhtenbrot, Mark <br/><br/>
Statemate a Working Environment  for Development of Complex Reactive Systems 

 - 403\-414 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Code-Generation<br/>Propotying<br/>Reactive System