@inproceedings{LPT07:Ugo,
title = {Specifying and {A}nalysing {SOC} {A}pplications with {COWS}},
author = {A.~Lapadula and R.~Pugliese and F.~Tiezzi},
booktitle = {Concurrency, Graphs and Models},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {701-720},
year = {2008},
}