Performance Modeling of Retrial Systems using the MOSEL Language. - Jörg Barner; Gunter Bolch (ESM, 2002)

A lightweight formal method for the prediction of non-functional system properties. - Jörg Barner (2005)

A brief introduction to MOSEL-2. - Patrick Wüchner; Hermann de Meer; Jörg Barner; Gunter Bolch (MMB, 2006)