Models@run.time - Nelly Bencomo, Robert France, Betty H. C. Cheng, Uwe AÃŸmann; Aßmann, Uwe; Cheng, Betty H. C.; France, Robert B. (Springer International Publishing, 2014)