TY  - RPRT
TI  - Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap
AU  - Claudio Menghi
AU  - Enrico Viganò
AU  - Domenico Bianculli
AU  - Lionel C. Briand
PY  - 2021
UR  - https://arxiv.org/abs/2009.12250
ID  - 2009.12250
ER  -