Design tools for requirements engineering. - Gerard J. Holzmann; Doron A. Peled; Margaret H. Redberg (Bell Labs Tech. J., 1997)