Modeling and analyzing mixed communications in service-oriented trustworthy software. - Jianmin Jiang; Shi Zhang; Ping Gong 004; Zhong Hong; HouGuang Yue (Sci. China Inf. Sci., 2012)