Return to Article Details Verifying Control Logic Specification Using Mathematical Modeling and Dynamic Simulations Download Download PDF