發送短信: Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements /