Components and Contracts for Embedded Software. - Shuyu Li; XiaoJiang Li; Jian Wu (ECBS, 2005)