Arvid Butting, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann. Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution. Journal of Systems and Software, 149:437-461, 2019. [doi]
@article{ButtingKRW19, title = {Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution}, author = {Arvid Butting and Oliver Kautz and Bernhard Rumpe and Andreas Wortmann}, year = {2019}, doi = {10.1016/j.jss.2018.12.016}, url = {https://doi.org/10.1016/j.jss.2018.12.016}, researchr = {https://researchr.org/publication/ButtingKRW19}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {149}, pages = {437-461}, }