Calinescu, R.Rumpe, B.2022-03-132022-03-132015https://publica.fraunhofer.de/handle/publica/392876en004005006Software Engineering and Formal Methodsconference proceeding