Osterweil, Leon J. Olender, Kurt M. <br/><br/>
Cecil a Sequencing Constraint Language  for  Automatic Static Analysis Generation 

 - 268-280 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Dataflow Analysis<br/>Finite State Machines<br/>Sequencing Batch Reactor (Sbr)