María José Ibanez Pedro Álvarez Joaquin Ezpeleta RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes. 245-252 2009 ICSC http://dx.doi.org/10.1109/ICSC.2009.13 conf/semco/2009 db/conf/semco/icsc2009.html#IbanezAE09