Principles of the SPIN Model Checker (2008)

by M Ben-Ari