Lucio, L.2022-03-022022-03-022011978-0-7695-4384-0https://publica.fraunhofer.de/handle/publica/152523Workshop on Model-Driven Engineering, Verification, and Validation, MoDeVVa 2010