Describing 4-D space for air traffic scheduling. - Frizo J. Vormer; Max Mulder; René van Paassen; Hans Melissen (SMC (1), 2004)