Hegedüs, Ábel. “A Framework for the Dependability Analysis of UML-Based System Designs with Maintenance.” Master’s thesis, Budapest University of Technology and Economics, 2009.

@mastersthesis{hegedus-abel-msc,
  author = {Heged{\"u}s, \'Abel},
  title = {A framework for the dependability analysis of {UML}-based system designs with maintenance},
  school = {Budapest University of Technology and Economics},
  year = {2009},
  type = {Master{\textquoteright}s thesis}
}