Eine besondere Anforderung an sicherheitskritische Systeme in Luftfahrzeugen besteht darin, dass ihr Zeitverhalten präzise definiert, analysiert und geprüft werden können muss, um formale Zulassungsanforderungen zu erfüllen.