Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin. Verification of Semantically-Enhanced Artifact Systems. In Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu, editors, Service-Oriented Computing - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings. Volume 8274 of Lecture Notes in Computer Science, pages 600-607, Springer, 2013. [doi]