An approach to a formalized design flow for embedded control systems of micro-robots | IEEE Conference Publication | IEEE Xplore