Created attachment 335 [details]
Runnig the query
strategy opt = minE (Process.timer) [<=50]: <> Process.STOP on the attached model results in the message
( Process._id0 )
[ Process.timer=3.18742806482673 Process.c=3.18742806482673 ]
There shouldn't be a time-lock in the model in that particular state. There is no time-invariant on the location.