Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, Margaret-Anne D. Storey. On the Use of Visualization in Formal Requirements Specification. In 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany. pages 71-80, IEEE Computer Society, 2002. [doi]
Abstract is missing.