Godefroid. Verisoft: A Tool for the Automatic Analysis of Concurrent Reactive Software. Springer Berlin Heidelberg, 1997, doi:10.1007/3-540-63166-6_52.