copy of the model checker McAiger from http://fmv.jku.at/mcaiger