Marco Di Natale, David Perillo, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli. A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components. Software and Systems Modeling, 17(1):11-33, 2018. [doi]
Abstract is missing.