Final Project for Modeling of Real-Time Systems.