TY  - RPRT
TI  - Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems
AU  - Chen-Wei Wang
AU  - Jonathan S. Ostroff
AU  - Simon Hudon
PY  - 2015
DO  - 10.4204/eptcs.184.6
UR  - https://arxiv.org/abs/1506.03558
ID  - 1506.03558
ER  -