@inproceedings{ STTES_IPCModel_FMICS09,
    author = {Schierboom Erik and Tamalet, Alejandro and Tews, Hendrik and
              van Eekelen, Marko and Smetsers, Sjaak},
    title = {Preepmtion Abstraction: A Lightweight Approach to Modelling Concurrency},
    booktitle = {Formal Methods for Industrial Critical Systems (FMICS 2009)},
    publisher = {Springer},
    series = {LNCS},
    volume = {5825},
    year = {2009},
    isbn = {978-3-642-04569-1},
    pages = {149-164},
    class = {wet}
}