TY  - RPRT
TI  - Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
AU  - Chaima Boufaied
AU  - Maris Jukss
AU  - Domenico Bianculli
AU  - Lionel Claude Briand
AU  - Yago Isasi Parache
PY  - 2020
DO  - 10.1016/j.jss.2020.110881
UR  - https://arxiv.org/abs/1910.08330
ID  - 1910.08330
ER  -