Runtime observable and adaptable uml state machine-based software components generation and verificationmodels@run.Time approach 2019
Mondragon Unibertsitatea