TY - RPRT TI - Verifiable Control System Development for Gas Turbine Engines AU - Mehrdad Pakmehr AU - Timothy Wang AU - Romain Jobredeaux AU - Martin Vivies AU - Eric Feron PY - 2013 UR - https://arxiv.org/abs/1311.1885 ID - 1311.1885 ER -