R.  Morris, Pasareanu, C., Luckow, K., Malik, W., Ma, H., Kumar, T. K. Satish, and Koenig, S., ?Planning, Scheduling and Monitoring for Airport Surface Operations?, in AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS), 2016.