TY - RPRT TI - Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems AU - Iman Jahandideh AU - Fatemeh Ghassemi AU - Marjan Sirjani PY - 2019 UR - https://arxiv.org/abs/1901.02597 ID - 1901.02597 ER -