statechart specification 
 
formalWARE 
    project  

  Participating 
     Organizations 
  Research   
     Topics 
  People 
   

formalWARE 
    results  

  Overview 
  Publications 
  Presentations 
  Tools   
  Methods 
  Examples   
  Training 

formalWARE  
  information  

  Events 
  Index  
  Links   
  Contacts

 Statecharts specification of the control-oriented aspects of the operation of a radio/tape player unit installed in a motor vehicle. This is an example of one of the typed, predicate logic "styles" studied by Nancy (U BC Computer Science) in her Ph.D thesis research. (This figure was provided by Nancy Day).  
.