1. Scheduler modeling based on the controller synthesis paradigm;Altisen;J. Real-Time Syst.,2002
2. Modeling resources in a UML-based simulative environment;Ammar,2001
3. T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, W. Yi, TIMES: A tool for schedulability analysis and code generation of real-time systems, in: Proceedings of FORMATS’03, LNCS 2791, 2003, pp. 60–72.
4. L. Baum, T. Kramp, Towards a uniform modeling technique for resource-usage scenarios, in: Proceedings of PDPTA’99, 1999, pp. 1324–1329.
5. H. Ben-Abdallah, GCSR: a graphical language for the specification, refinement and analysis of real-time systems. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1996.