@article{PJJTWR82011,
         author = {P. Heckeler, J. Behrend, J. Ruf, T. Kropf, W. Rosenstiel, R. Weiss},
         title = {DWARF-driven Equivalence Checking of UML Statecharts and Software Components},
         journal = {Gesellchaft für Informatik e.V.: Softwaretechnik-Trends},
         year = {2011},
         month = {8},
         volume = { 31},
         number = {3},
         pages = {61-63},
}