
The Airbus A380 is the largest mass production civilian airliner. When the wide-bodied aircraft lands safely, its control software has launched countless components over 500 cable kilometers in time. The foundations for the automatic analysis of such time-critical software systems, such as those found in cars, trains and industrial plants, are provided…