@mastersthesis{PAwP,
  title = "Probabilistic Automata with Parameters",
  author = "Rastislav Lenhardt",
  year = "2009",
}