Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran, Karthikeyan Thangamariappan: CLAIR: A Contract-Based Framework for Developing Resilient CPS Architectures. ISORC 2018: 33-41