Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran, Karthikeyan Thangamariappan. CLAIR: A Contract-Based Framework for Developing Resilient CPS Architectures. In 21st IEEE International Symposium on Real-Time Distributed Computing, ISORC 2018, Singapore, Singapore, May 29-31, 2018. pages 33-41, IEEE Computer Society, 2018. [doi]
Abstract is missing.