Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi: Semantic Model Checking Security Requirements for Web Services (Extended Abstract). SEBD 2010: 190-197