Systems and software verification model-checking techniques and tools (Springer, 2001)