Control Design for a Hybrid Dynamic System: A NASA Life Support System. - Dharmashankar Subramanian; Kartik B. Ariyur; Nitin Lamba; Ranjana Deshpande; Sonja Glavaski (HSCC, 2004)