A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. - Dung T. Phan; Junxing Yang; Matthew Clark; Radu Grosu; John D. Schierman; Scott A. Smolka; Scott D. Stoller (ACSD, 2017)