Alessandro Fantechi Stefania Gnesi Alessandro Lapadula Franco Mazzanti Rosario Pugliese Francesco Tiezzi A Model Checking Approach for Verifying COWS Specifications. 230-245 2008 FASE http://dx.doi.org/10.1007/978-3-540-78743-3_17 conf/fase/2008 db/conf/fase/fase2008.html#FantechiGLMPT08