Models@run.time : foundations, applications, and roadmaps - BENCOMO, Nelly; FRANCE, Robert (New York Springer Cham, 2014)