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