Added modelchecking to perspective