Rich Model Toolkit: Surveys of Existing Tools

Model Checking Tools for Software Systems, by Maysam Yabandeh