Krishna M. Kavi, Seung-Min Yang. Real-time systems design methodologies: An introduction and a survey. Journal of Systems and Software, 18(1):85-99, 1992. [doi]
@article{KaviY92, title = {Real-time systems design methodologies: An introduction and a survey}, author = {Krishna M. Kavi and Seung-Min Yang}, year = {1992}, doi = {10.1016/0164-1212(92)90047-N}, url = {http://dx.doi.org/10.1016/0164-1212(92)90047-N}, tags = {survey, design}, researchr = {https://researchr.org/publication/KaviY92}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {18}, number = {1}, pages = {85-99}, }