Banti, Federico and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco  Specification and analysis of SOC systems using COWS: a finance case study.  Electronic Notes in Theoretical Computer Science, 235.  pp. 71-105.  ISSN 1571-0661      (2009)