@inproceedings{FGLMPT08,
title = {A model checking approach for verifying {COWS} specifications},
author = {A.~Fantechi and S.~Gnesi, A.~Lapadula F.~Mazzanti, R.~Pugliese, F.~Tiezzi},
booktitle = {Proc. of Fundamental Approaches to Software Engineering (FASE'08)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {230-245},
year = {2008},
}