@INPROCEEDINGS{JeonM:SafeThings21,
  author={Jeon, Sung Woo and Mitra, Sayan},
  booktitle={2021 IEEE Security and Privacy Workshops (SPW)}, 
  title={Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems}, 
  year={2021},
  volume={},
  number={},
  pages={268-276},
  keywords={Road transportation;Privacy;Analytical models;Conferences;Smart homes;Cyber-physical systems;Safety},
  doi={10.1109/SPW53761.2021.00046}}