Zhiqiang Chen, Antonio Cau, Hussein Zedan, Hongji Yang. Integrating structured OO approaches with formal techniques for the development of real-time systems. Information \& Software Technology, 41(7):435-450, 1999. [doi]
@article{ChenCZY99,
title = {Integrating structured OO approaches with formal techniques for the development of real-time systems},
author = {Zhiqiang Chen and Antonio Cau and Hussein Zedan and Hongji Yang},
year = {1999},
doi = {10.1016/S0950-5849(99)00012-9},
url = {http://dx.doi.org/10.1016/S0950-5849(99)00012-9},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/ChenCZY99},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {41},
number = {7},
pages = {435-450},
}