TY  - RPRT
TI  - Cyber-Physical Specification Mismatches
AU  - Luan V. Nguyen
AU  - Khaza Anuarul Hoque
AU  - Stanley Bak
AU  - Steven Drager
AU  - Taylor T. Johnson
PY  - 2018
UR  - https://arxiv.org/abs/1806.09224
ID  - 1806.09224
ER  -