Modeling Of Real-time Systems Research Articles