T. Seifert, "Graph-basierte Analyse von Fahrkursmodellen für Fahrerlose Transportsysteme", Bachelorarbeit, TU Dortmund, Lehrstuhl Informatik VII, 2013.