Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari: Automata for Analysing Service Contracts. TGC 2014: 34-50