@TechReport{MaozRingertRumpe11,
  author =	 "Shahar Maoz and Jan Oliver Ringert and Bernhard Rumpe",
  title =	 "An Operational Semantics for Activity Diagrams using SMV",
  institution =	 "RWTH Aachen University",
  year =	 "2011",
  number =	 "AIB-2011-07",
  month =	 jul,
  url =          "http://aib.informatik.rwth-aachen.de/2011/2011-07.ps.gz",
}