@techreport{2006-Hooman-SoSymOmega,
  author		= "{Hooman}, Jozef and {Kugler}, Hillel and {Ober}, Iulian and {Votintseva}, Anjelika and {Yushtein}, Yuri",
  title			= "{Supporting UML--based Development of Embedded Systems by Formal Techniques}",
  number		= "ICIS--R06034",
  month			= "November",
  institution		= "Radboud University Nijmegen",
  year			= "2006",
  research_group	= "ita",
  class			= "Report"
}