Model based work process design in air traffic control