E. Asarin and A. Donzé, Oded Maler, and Dejan Nickovic. Parametric identification of temporal properties, RV, pp.147-160, 2011.

J. Legriel, C. Le-guernic, S. Cotton, and O. Maler, Approximating the Pareto Front of Multi-criteria Optimization Problems, TACAS, pp.69-83, 2010.
DOI : 10.1007/978-3-642-12002-2_6