Text this: Vertical navigation control laws and logic for the Next Generation Air Transportation System /