Models uses by the Model Checking Contest (http://mcc.lip6.fr)