@TechReport{Grobosch19 ,
	author      = {Sebastian Grobosch},
	title       = {Formale Methoden f{\"u}r die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen},
	school      = {Fakult{\"a}t f{\"u}r Mathematik, Informatik und Naturwissenschaften der RWTH Aachen},
	institution = {RWTH Aachen},
	type        = {Dissertation},
	keywords    = {formal verification, small and medium sized enterprises, embedded systems},
	year        = {2019},
	number      = {AIB-2019-03},
	month       = {October},
	url         = {http://aib.informatik.rwth-aachen.de/2019/2019-03.pdf},
}