Verifiable Control System Development for Gas Turbine Engines. - Mehrdad Pakmehr; Timothy Wang; Romain Jobredeaux; Martin Vivies; Eric Feron (CoRR, 2013)