New Cassting publication

Lower-Bound Constrained Runs in Weighted Timed Automata
Patricia Bouyer, Kim G. Larsen, Nicolas Markey.
In Performance Evaluation, Elsevier Science Publishers, 2014. (To appear)