J. Ackermann, and K. Turowski. TEAA'06: Trends in Enterprise Application Architecture, volume 4473 of LNCS, page 25--39. Berlin Heidelberg, Springer, (2007)
R. Allen, R. Douence, and D. Garlan. Proceedings of the International Conference on Fundamental Aspects of Software Engineering (FASE), (1998)Lisbon, Portugal.
S. Autexier, D. Hutter, and T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, volume 6463 of LNCS, Springer, (2010)