On the Use of Visualization in Formal Requirements Specification. - Nicolas Dulac; Thomas Viguier; Nancy G. Leveson; Margaret-Anne D. Storey (RE, 2002)