1. and , Modeling of Combined DisCCPS, Guidelines for Hazard Evaluation Procedures, New York (1985).
2. , , and , “A Case Study in Hybrid Process Safety Verification,” Comput. Chem. Eng., ZO (Suppl), S503 (1996).
3. , and , “Model-Based Safety Verification of Discrete/Continuous Chemical Processes,” IChE Meeting, San Francisco (1995).
4. Modeling and safety verification of discrete/continuous processing systems
5. gPROMS Project, “Solving Dynamic Optimisation Problems in gPROMS,” Tech. Rep., Centre for Process Systems Engineering, Imperial College, London (1995).