1. Alur, R., Henzinger, T.A., Lafferriere, G., and Pappas, G.J. (2000). Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88(7), 971–984.
2. Supervisory control of a rapid thermal multiprocessor;Balemi;IEEE Transactions on Automatic Control,1993
3. Bridges, W. and Clark, T. (2011). How to efficiently perform the hazard evaluation (PHA) required for non-routine modes of op. (startup, shutdown, online maintenance). In 7th Global Cong. in Proc. Safety. Chicago.
4. Fieldbus Foundation (2002). Function Block Capabilities in Hybrid/Batch Applications. Field. Foun. App. Guide.
5. A survey of petri net applications in batch processes;Gu;Computers in Industry,2002