B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, and P. McKenzie. Systems and Software Verification – Model-Checking Techniques and Tools. Springer, Heidelberg, 2001.
