Feng Zhou, Wei Guan, Krzysztof Sierszecki, Christo Angelov. Component-Based Design of Software for Embedded Control Systems: The Medical Ventilator Case Study. 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 157-163, IEEE, 2009. [doi]
Abstract is missing.