Changde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu. A Formal Model for Component-Based Embedded Software Development. In Tianzhou Chen, Dimitrios N. Serpanos, Walid Taha, editors, International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009. pages 19-23, IEEE, 2009. [doi]
Abstract is missing.