A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components. - Di Natale, Marco; Perillo, David; Chirico, Francesco; Sindico, Andrea; Sangiovanni-Vincentelli, Alberto (Software & Systems Modeling, 2018)