HRELTL: A temporal logic for hybrid systems