Towards a Formal Verification Approach for Service Component Architecture. - Wael Chargui; Taoufik Sakka Rouis; Mourad Kmimech; Mohamed Tahar Bhiri; Layth Sliman; Badran Raddaoui (SoMeT, 2017)

Behavioral Verification of Service Component Architecture. - Wael Chargui; Taoufik Sakka Rouis; Mourad Kmimech; Mohamed Tahar Bhiri; Layth Sliman; Badran Raddaoui (WETICE, 2017)