SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems - Dräger, K; Kupriyanov, A; Finkbeiner, B; Wehrheim, H (Springer−Verlag, 2010)