@inproceedings{BLPT08:WWV,
author = {F.~Banti and A.~Lapadula and R.~Pugliese and F.~Tiezzi},
title = {Specification and analysis of {SOC} systems using {COWS}: A finance case study},
booktitle = {Proc. of 4th International Workshop on Automated Specification
and Verification of Web Systems (WWV'08)},
publisher = {Elsevier},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
number = {C},
pages = {71-105},
year = {2009},
}