http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/tsioutsias-dimitris.html