"Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems."

Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics