@inproceedings{hagalisletto-2009,
        title     = {Analysing Protocol Implementations},
        author    = {Anders Moen Hagalisletto and Lars Strand and Wolfgang Leister and Arne-Kristian Groven},
        booktitle = {The 5th Information Security Practice and Experience Conference (ISPEC 2009)},
        editor    = {Feng Bao and Hui Li and Guilin Wang},
        publisher = {Springer Berlin / Heidelberg},
        year      = {2009},
        month     = {April},
        pages     = {171--182},
        isbn      = {978-3-642-00842-9}
}