Gabriella Gigante, Francesco Gargiulo, Massimo Ficco. A Semantic Driven Approach for Requirements Verification. In David Camacho, Lars Braubach, Salvatore Venticinque, Costin Badica, editors, Intelligent Distributed Computing VIII - Proceedings of the 8th International Symposium on Intelligent Distributed Computing, IDC 2014, Madrid, Spain, September 3-5, 2014. Volume 570 of Studies in Computational Intelligence, pages 427-436, Springer, 2014. [doi]