PRINCIPLES OF MODEL CHECKING - CHRISTEL BAIER (USA MIT PRESS)