Philipp Graf, Klaus D. Müller-Glaser: ModelScope: inspecting executable models during run-time. ICSE Companion 2008: 935-936