Oussama Kassem Zein Yvon Kermarrec An Approach for Describing and Querying Service Behavior in Distributed Systems . 136-139 2005 conf/saint/2005w SAINT Workshops http://csdl.computer.org/comp/proceedings/saint-w/2005/2263/00/22630136abs.htm db/conf/saint/saint2005w.html#ZeinK05