An incremental approach for hardware discrete controller synthesis: applications on embedded systems 59,00 EUR*