1. C. Allan, P. Avgustinov, A.S. Christensen, L. Hendren, S. Kuzins, et al., Adding trace matching with free variables to AspectJ, in OOPSLA’05, (2005), pp. 345–364
2. P. Avgustinov, J. Tibble, O. de Moor, in Making trace monitors feasible, in OOPSLA’07 (2007), pp. 589–608
3. P. Avgustinov, O. Lhoták, O. de Moor, J. Tibble, On the semantics of matching trace monitoring patterns, in Workshop on Runtime Verification (RV’07) (2007), pp. 45–46
4. I.B. Arpinar, U. Halici, S. Arpinar, A. Dogac, Formalization of workflows and correctness issues in the presence of concurrency, in Distributed & Parallel Databases, vol. 7, no. 2, Apr 1999, pp. 199–248
5. F. Barbon, P. Traverso, M. Pistore, M. Trainotti, Runtime monitoring of instances and classes of Web service compositions, in ICWS’06 (2006), pp. 63–71