Shuyu Li, XiaoJiang Li, Jian Wu: Components and Contracts for Embedded Software. ECBS 2005: 19-24