Document: Automated generation of real-time software from datasheet-based inputs: The process model, the platform and the feedback from the MSL project activities