MoDeST - A Modelling and Description Language for Stochastic Timed Systems. - Pedro R. D'Argenio; Holger Hermanns; Joost-Pieter Katoen; Ric Klaren (PAPM-PROBMIV, 2001)

The Modest Modeling Tool and Its Implementation. - Henrik C. Bohnenkamp; Holger Hermanns; Joost-Pieter Katoen; Ric Klaren (Computer Performance Evaluation / TOOLS, 2003)

On Integrating the MÖBIUS and MODEST Modeling Tools. - Henrik C. Bohnenkamp; Tod Courtney; David Daly; Salem Derisavi; Holger Hermanns; Joost-Pieter Katoen; Ric Klaren; Vinh Vi Lam; William H. Sanders (DSN, 2003)

Synthesis and Stochastic Assessment of Schedules for Lacquer Production. - Henrik C. Bohnenkamp; Holger Hermanns; Ric Klaren; Angelika Mader; Yaroslav S. Usenko (QEST, 2004)

Embedded Software Analysis with MOTOR. - Joost-Pieter Katoen; Henrik C. Bohnenkamp; Ric Klaren; Holger Hermanns (SFM, 2004)