Text this: A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components.