Towards a Practical Approach to Check Service Component Architecture. - Imen Haddad; Mourad Kmimech; Taoufik Sakka Rouis; Mohamed Tahar Bhiri (SKG, 2015)