Title: Vertical Navigation Control Laws and Logic for the Next Generation Air Transportation System