Firmware Synthesis for Ultra-Thin IoT Devices Based on Model Integration | IEEE Conference Publication | IEEE Xplore