Methods for Exploitation of Fine-Grained Parallelism. - Günter Böckle; Christof Störmann; Isolde Wildgruber (Parallel Computer Architectures, 1993)

Combining the Design of Industrial Systems with Effective Verification Techniques. - Jorge Cuéllar; Isolde Wildgruber; Dieter Barnard (FME, 1994)

The Steam-Boiler Problem - A TLT Solution. - Jorge Cuéllar; Isolde Wildgruber (Formal Methods for Industrial Applications, 1995)

The Real-Time Behavior of the Steam Boiler. - Jorge Cuéllar; Isolde Wildgruber (Formal Methods for Industrial Applications, 1995)

Development of Safety-Critical Real-Time Systems. - Hans Rischel; Jorge Cuéllar; Simon Mørk; Anders P. Ravn; Isolde Wildgruber (SOFSEM, 1995)