Dung Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller. A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. In 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017. pages 49-58, IEEE Computer Society, 2017. [doi]
Abstract is missing.