Symbolic algebraic discrete systems theory-applied to a fighter aircraft | IEEE Conference Publication | IEEE Xplore