"Automatic Generation of State Invariants from Requirements Specifications."

Ralph D. Jeffords, Constance L. Heitmeyer (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics