selected publications conference paper Model checking of performance measures using bounding aggregations. HAL (Le Centre pour la Communication Scientifique Directe). 2008