A parallel hybrid approach to hard optimization problems. - Uwe Hinsberger; Reiner Kolla; Markus Wild (ARCS, 1997)

A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems. - Thomas Kropf; Jürgen Ruf; Klaus Schneider 001; Markus Wild (MBMV, 1998)