@misc{736,
  author = {Peter Volgyesi and Miklos Maroti and Sebestyen Dora and Esteban Osses and Akos Ledeczi and Tamas Paka},
  title = {Embedded Software Composition and Verification},
  year = {2004},
  month = {February},
  publisher = {Institute for Software Integrated Systems},
  language = {eng},
}