Droschl, G. A Case Study on the Application of PVS to Requirements Analysis. AJIS 1999, 6.