G. Droschl, “A Case Study on the Application of PVS to Requirements Analysis”, AJIS, vol. 6, no. 2, May 1999.