set INTER;  

param start symbolic in INTER;           
param dest symbolic in INTER, <> start; 

set ROADS within INTER cross INTER;

param time {ROADS} >= 0;    

node Intersection {INTER};

minimize Total_Time;

arc condition >= 1, to Intersection[start], from Intersection[dest];

arc path {(i,j) in ROADS} binary, from Intersection[i], to Intersection[j], obj Total_Time time[i,j];