TY  - SER
AU  - Osterweil, Leon J.
AU  - Olender, Kurt M.
TI  - Cecil a Sequencing Constraint Language  for  Automatic Static Analysis Generation
KW  - Dataflow Analysis
KW  - Finite State Machines
KW  - Sequencing Batch Reactor (Sbr)
ER  -