List of Articles Pervasive healthcare Open Access Article Abstract Page Full-Text 1 - Formal Method in Service Composition in Heath Care Systems Zahra Baatmaanghelich Ali Rezaee Sahar Adabi