Performance Verification of discrete Event Systems using Hybrid Model-Checking. - Bruno Denis; Jean-Jacques Lesage; Zulema Juárez-Orozco (ADHS, 2006)