On-The-Fly safety checking - customizing program certification and program restructuring / vorgelegt von Marie-Christine Jakobs, Master of Science