Markus keuneke partial data-models Jelena zdravkovic c ai-se 2013 capability caas David aguilera presentation Ramezani taghiabadi temporal compliance checking 2 Razvan petrusel presentation caise 2013 Henning agt talk-caise-semnet Sonja kabicher fuchs presentation-caise13_final Kerrstin klemishc c-aise2013_ Jorge cardoso caise-usdl-tosca-2013-06-18c Ignacio panach ormeño et-al_caise2013