Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution

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]

Abstract

Abstract is missing.