@INPROCEEDINGS{wilkeEA:WCOP2010,
  author = {Claas Wilke, Jens Dietrich, Birgit Demuth},
  title = {Event-Driven Verification in Dynamic Component Models},
  booktitle = {Proceedings of the Fifteenth International Workshop on Component-Oriented
	Programming (WCOP2010), Praghue, Czechia, June 22, 2010},
  year = {2010},
  pages = {79-86},
  address = {Karlsruhe, Germany},
  month = {June},
  publisher = {KIT},
  keywords = {Treaty, Verification, ECA, Event, Condition, Action, Variability,
	Contract},
  owner = {Claas},
  timestamp = {2010.07.23}
}