Version 1.0.1 of the model checker Cubicle