OPTIMAL MODELING LANGUAGE AND FRAMEWORK FOR SCHEDULABLE SYSTEMS
Voor meer informatie zie de Engelse website.