Mehmet Bülent Özcan, P. W. Parry, Ian C. Morrey, Jawed I. A. Siddiqi. Requirements Validation based on the Visualization of Executable Formal Specifications. In COMPSAC 98 - 22nd International Computer Software and Applications Conference, August 19-21, 1998, Vienna, Austria. pages 381-386, IEEE Computer Society, 1998. [doi]