EEMCS

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2011) Validation of Embedded System Verification Models. In: Proceedings of Model-Driven Requirements Engineering Workshop (MoDRE), 29 Aug 2011, Trento, Italy. pp. 48-54. IEEE Computer Society. ISBN 978-1-4577-0957-9

Tekinerdogan, B. and Akşit, M. (1998) Providing Automatic Support for Heuristic Rules of Methods. In: ECOOP '98 Workshop Reader, 20-24 July 1998, Brussels, Belgium. pp. 496-498. Lecture Notes in Computer Science 1543. Springer. ISBN 3540654607