Tools for Analyzing SCR-style Requirements Speci cations: A Formal Foundation (1995)

by C L Heitmeyer, R D Je ords, B G Labaw