HPI Potsdam / Operating Systems and Middleware Group / FlexiDug / models / system