Contract-based specification of embedded control systems
Voor meer informatie zie de Engelse website.