From requirements to code (Re2Code) — A model-based approach for controller implementation | IEEE Conference Publication | IEEE Xplore