Philipp Graf Klaus D. Müller-Glaser ModelScope: inspecting executable models during run-time. 935-936 2008 ICSE Companion http://doi.acm.org/10.1145/1370175.1370195 conf/icse/2008c db/conf/icse/icsec2008.html#GrafM08