Principles of the Spin Model Checker (2008)

by M Ben-Ari