Safe Design of Flow Management Systems Using Rebeca. - Giorgio Forcina; Ali Sedaghatbaf; Stephan Baumgart; Ali Jafari; Ehsan Khamespanah; Pavle Mrvaljevic; Marjan Sirjani (J. Inf. Process., 2020)

Using Afra in Different Domains by Tool Orchestration. - Ehsan Khamespanah; Pavle Mrvaljevic; Anas Fattouh; Marjan Sirjani (Composing Model-Based Analysis Tools, 2021)