@misc{indiciae041d3bfdc52e,
  title = {Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems},
  author = {Zhiheng Xu and Daniel Jun Xian Ng and Arvind Easwaran},
  year = {2020},
  doi = {10.1109/rtcsa.2019.8864556},
  url = {https://arxiv.org/abs/2004.05761},
  note = {Source identifier: 2004.05761}
}