CHRISTEL BAIER AND JOOST-PIETER KATOEN * Principles of Model Checking. MIT Press (May 2008). * ISBN: 978-0-262-02649-9. {pound}44.95. 975 pp. Hardcover - Laroussinie, François (Oxford University Press, 2010)