Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects. - Eduard Kamburjan; Stefan Mitsch; Martina Kettenbach; Reiner Hähnle (CoRR, 2019)