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