@INPROCEEDINGS{FMICS2008,
author = {Bernard van Gastel and Leonard Lensink and Sjaak Smetsers and Marko van Eekelen},
title = {Reentrant Readers-Writers: A Case Study Combining Model Checking and Theorem Proving.},
booktitle = {Revised selected papers of the 13th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008)},
editor = {D. Cofer and P. Merino},
publisher = {Springer},
series = {Lecture Notes Computer Science},
volume = {5596},
pages = {83 -- 103},
year = {2009}
}