Capacity planning of domestic airline passenger services
Studies on heteroredundant architecture for the input processing sub-system and the boundary controller of a digital flight control computer
