Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco  COWS: A Timed Service-Oriented Calculus.   In:  Theoretical Aspects of Computing – ICTAC 2007.   Lecture Notes in Computer Science, 4711 .  Springer, pp. 275-290.  ISBN 978-3-540-75290-5      (2007)