Simulation of the Hybrid telecommunications access system HYTAS for testing the network management system KENOS. - Ingmar Ahrens; Holger Krisp; Christian Müller-Schloer; Werner van Almsick; Stefan Scherber (ESM, 2000)

Virtual Prototyping of Embedded Systems by High-Level Modeling and Simulation. - Holger Krisp; Christian Müller-Schloer (MBMV (2), 2001)

On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems. - Tim Oodes; Holger Krisp; Christian Müller-Schloer (ARCS, 2002)