Systems and software verification : model-checking techniques and tools - Berard, B. (Springer, 2001)