Taeho Kim Sung Deok Cha Automated structural analysis of SCR-style software requirements specifications using PVS. 143-163 2001 11 Softw. Test., Verif. Reliab. 3 db/journals/stvr/stvr11.html#KimC01