Text this: Principles of the Spin model checker /