Principles of the Spin Model Checker - Ben-Ari, Mordechai (Verfasser) (Springer London, 2008)