K.  McKeever, Zeleke, Y., Bunting, M., and Sprinkle, J., ?Experience Report: Constraint-based Modeling of Autonomous Vehicle Trajectories?, in Proceedings of the Workshop on Domain-Specific Modeling, New York, NY, USA, 2015, pp. 17?22.