TY  - RPRT
TI  - Formalizing Cyber--Physical System Model Transformation via Abstract Interpretation
AU  - Natasha Jarus
AU  - Sahra Sedigh Sarvestani
AU  - Ali Hurson
PY  - 2019
DO  - 10.1109/hase.2019.00025
UR  - https://arxiv.org/abs/1902.07761
ID  - 1902.07761
ER  -