1
Formal Techniques for Computer Systems and Business Processes [E-Book] / European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September