From OWL-S to Timed Automata Network: Operational Semantic. - Amel Boumaza; Maamri Ramedane (ANT/SEIT, 2016)