1. Process Monitoring and Diagnosis;Dvorak;IEEE Expert,1991
2. Temporal and modal logic;Emerson,1990
3. Verification of Controllers for Incompletely-known Chemical Plants;Gazi,1995
4. A Non-parametric Monte-Carlo Technique for Controller Verification;Gazi;Automatica,1995
5. Uncertainty: Application to Styrene Polymerization;Gazi;IEC Res.,1995