Soeken, Wille, Drechsler, 2011. Verifying dynamic aspects of UML models, in: . IEEE.. https://doi.org/10.1109/date.2011.5763177