Shuyu Li XiaoJiang Li Jian Wu Components and Contracts for Embedded Software. 19-24 2005 conf/ecbs/2005 ECBS http://csdl.computer.org/comp/proceedings/ecbs/2005/2308/00/23080019abs.htm db/conf/ecbs/ecbs2005.html#LiLW05