Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control.

Stefan Kowalewski, Jrg Preuig

Browse the full TACAS paper archive.