Real-time systems design methodologies: An introduction and a survey.

Krishna M. Kavi Seung-Min Yang Real-time systems design methodologies: An introduction and a survey. 85-99 1992 18 Journal of Systems and Software 1 http://dx.doi.org/10.1016/0164-1212(92)90047-N db/journals/jss/jss18.html#KaviY92