Principles of the Spin model checker - Mordechai Ben-Ari (Springer, 2017)
225p.