@article{Kim-etal01:TACAS,
    AUTHOR = {Taeho Kim and David Stringer-Calvert and Sungdeok Cha},
    TITLE = {Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using {PVS}},
    VOLUME = {2280},
    YEAR = {2002},
    PAGES = {205--220},
    MONTH = {April},
    ADDRESS = {Grenoble, France},
    URL = {http://www.csl.sri.com/papers/tacas2002/},
    SERIES = {Lecture Notes in Computer Science},
    BOOKTITLE = {Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, {TACAS} 2002},
    PUBLISHER = {Springer-Verlag},
    EDITOR = {{J.-P.} Katoen and {P.} Stevens}
}