Safety-Assured Model-Based Development of Real-Time Embedded Software for the Gpca Infusion Pump