Modeling Fault Tolerant Services in Service-Oriented Architecture. - Farzaneh Mahdian; Vahid Rafe; Reza Rafeh; Adel Torkaman Rahmani (TASE, 2009)

Style-based modeling and verification of fault tolerance service oriented architectures. - Vahid Rafe; Farzaneh Mahdian (WCIT, 2011)