Requirements Validation based on the Visualization of Executable Formal Specifications. - Mehmet Bülent Özcan; Paul William Parry; Ian C. Morrey; Jawed I. A. Siddiqi (COMPSAC, 1998)

Visualisation of Executable Formal Specifications for User Validation. - Mehmet Bülent Özcan; Paul William Parry; Ian C. Morrey; Jawed I. A. Siddiqi (Services and Visualization: Towards User-Friendly Design, 1998)

Applying visualisation to model-based formal specifications. - Paul William Parry (2004)

Applying Visualisation to Validating Software System Requirements. - Paul William Parry; Jawed Siddiqi (SoMeT, 2009)