Systems and software verification : model-checking techniques and tools - BÃ©rard, BÃ©atrice (Springer, 2001)