Gnesi, Stefania and Pugliese, Rosario and Tiezzi, Francesco  The Sensoria Approach Applied to the Finance Case Study.   In:  Rigorous Software Engineering for Service-Oriented Systems.   Lecture Notes in Computer Science, 6582  (6582).  Springer, pp. 698-718.  ISBN 978-3-642-20400-5      (2011)