added another reference to modelchecking