@STRING{LNCS = {LNCS}}
@STRING{Springer = {Springer}}
@STRING{TACAS = {TACAS}}
@STRING{CAV = {CAV}}
@STRING{ITP = {ITP}}
@STRING{FLOPS = {FLOPS}}
@STRING{TPHOLs = {TPHOLs}}
@STRING{FSTTCS = {FSTTCS}}
@STRING{ATVA = {ATVA}}
@STRING{IFM = {IFM}}
@STRING{LICS = {LICS}}

@misc{Promela,
    title = {Promela Manual Pages},
    howpublished = {\url{http://spinroot.com/spin/Man/promela.html}},
    note = {Accessed: 2013-02-07}
}

@book{Holzmann03,author="Gerard J. Holzmann",
title="The Spin Model Checker --- Primer and Reference Manual",
publisher="Addison-Wesley",year=2003}