Title: Toolgestützte validierungsmethode für verteilte eingebettete Steuerungssysteme im Passagierflugzeugbau