Formal verification made easy. - Thomas Schlipf; Thomas Buechner; Rolf Fritz; Markus M. Helms; Juergen Koehl (IBM J. Res. Dev., 1997)

Event monitoring in highly complex hardware systems. - Thomas Buechner; Rolf Fritz; Peter Guenther; Markus M. Helms; Kirk D. Lamb; Manfred Loew; Thomas Schlipf; Manfred H. Walz (IBM J. Res. Dev., 1999)