@inproceedings{
    Lat03a,
    editor = "Ball, T. and Rajamani, S.",
    author = "Latvala, Timo",
    publisher = "Springer",
    title = "Efficient Model Checking of Safety Properties",
    url = "http://link.springer.de/link/service/series/0558/bibs/2648/26480074.htm",
    booktitle = "Model Checking Software. 10th International SPIN Workshop",
    flags = "public",
    year = "2003",
    pages = "74--88"
}