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)