@article{hobbs2022safety,
  title={Safety analysis of embedded controllers under implementation platform timing uncertainties},
  author={Hobbs, Clara and Ghosh, Bineet and Xu, Shengjie and Duggirala, Parasara Sridhar and Chakraborty, Samarjit},
  journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume={41},
  number={11},
  pages={4016--4027},
  year={2022},
  publisher={IEEE}
}