Modellierung regelbasierten Pilotenverhaltens mit Petrinetzen / Wilhelm Ruckdeschel. Düsseldorf : VDI-Verl., 1997