TY  - RPRT
TI  - Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects
AU  - Eduard Kamburjan
AU  - Stefan Mitsch
AU  - Martina Kettenbach
AU  - Reiner Hähnle
PY  - 2019
UR  - https://arxiv.org/abs/1906.05704
ID  - 1906.05704
ER  -