Return to Article Details Automated Modeling of Real-Time Implementation Download Download PDF