Before revision:  We formalize FAA's notion of operation volumes (OVs) that express aircraft intent in terms of 4D blocks of airspace and associated real-time deadlines.
After revision:  We formalize FAA's notion of operation volumes that express aircraft intent in terms of 4D blocks of airspace and associated real-time deadlines.