Taeho Kim David W. J. Stringer-Calvert Sung Deok Cha Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. 205-220 2002 conf/tacas/2002 TACAS http://link.springer.de/link/service/series/0558/bibs/2280/22800205.htm db/conf/tacas/tacas2002.html#KimSC02