1. [1] Sirjani, M., Forcina, G., Jafari, A., Baumgart, S., Khamespanah, E. and Sedaghatbaf, A.: An actor-based design platform for system of systems, 43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019, Vol.1, pp.579-587 (2019).
2. [2] Reynisson, A., Sirjani, M., Aceto, L., Cimini, M., Jafari, A., Ingólfsdóttir, A. and Sigurdarson, S.: Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca, SCP, Vol.89, pp.41-68 (2014).
3. [3] Sirjani, M., Movaghar, A., Shali, A. and de Boer, F.S. : Modeling and verification of reactive systems using rebeca, Fundam. Inform., Vol.63, No.4, pp.385-410 (2004).
4. [4] Khamespanah, E., Sirjani, M., Viswanathan, M. and Khosravi, R.: Floating Time Transition System: More Efficient Analysis of Timed Actors, Formal Aspects of Component Software - 12th International Symposium, FACS 2015 (2016).
5. [5] Khamespanah, E., Khosravi, R. and Sirjani, M.: An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models, SCP, Vol.153, pp.1-29 (2018).