Component-Based Design of Software for Embedded Control Systems: The Medical Ventilator Case Study | IEEE Conference Publication | IEEE Xplore