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