Miren I. Bagüés Idoia Berges Jesús Bermúdez Alfredo Goñi Arantza Illarramendi Use of Semantic Technology to Describe and Reason about Communication Protocols. 67-72 2008 ICEIS (4) conf/iceis/2008-4 db/conf/iceis/iceis2008-4.html#BaguesBBGI08