@inbook{BBR2012,
 address = {Berlin, Heidelberg},
 author = {Jiří Barnat and Luboš Brim and Petr Ročkai},
 booktitle = {NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings},
 doi = {10.1007/978-3-642-28891-3_25},
 editor = {Goodloe, Alwyn E.
and Person, Suzette},
 isbn = {978-3-642-28891-3},
 pages = {252--266},
 publisher = {Springer Berlin Heidelberg},
 title = {Towards LTL Model Checking of Unmodified Thread-Based C {\&} C++ Programs},
 url = {http://dx.doi.org/10.1007/978-3-642-28891-3_25},
 year = {2012}
}