Semantic Support for Security-Annotated Business Process Models. - Ioana Ciuciu; Gang Zhao 001; Jutta A. Mülle; Silvia von Stackelberg; Cristian Vasquez Paulus; Thorsten Haberecht; Robert Meersman; Klemens Böhm (BMMDS/EMMSAD, 2011)