Abstraction and Compositional Verification Techniques for Asynchronously Communicating Components Marjan Sirjani Tehran University, IPM FMCO’06 Amsterdam.
Rebecca Modeling Language Mahdieh Ahmadi Verification of Reactive Systems March 2014.
Rebecca Modeling Language