The Spin Model Checker (2004)

by Gerard J Holzmann