@inproceedings{icre00,
    AUTHOR = {Peter {G.} Neumann},
    TITLE = {Certitude and Rectitude},
    BOOKTITLE = {{IEEE} International Conference on Requirements Engineering},
    YEAR = {2000},
    URL = {http://www.csl.sri.com/papers/icre00/}
}