Controlled violation of temporal process constraints – Models, algorithms and results · Study