@TECHREPORT{Armoush10,
  author = {Ashraf Armoush},
  title = {Design Patterns for Safety-Critical Embedded Systems},
  institution = {RWTH Aachen},
  year = {2010},
  number = {AIB-2010-13},
  month = Jun,
  url = {http://aib.informatik.rwth-aachen.de/2010/2010-13.pdf}
}