Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco  A Model Checking Approach for Verifying COWS Specifications.   In:  FASE.   Lecture Notes in Computer Science, 4961 .  Springer, pp. 230-245.  ISBN 978-3-540-78742-6      (2008)