An incremental approach for hardware discrete controller synthesis: applications on embedded systems