Rong Su 0001 Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition. 3502-3506 2013 49 Autom. 11 https://doi.org/10.1016/j.automatica.2013.08.007 db/journals/automatica/automatica49.html#Su13