Integrating Performance Analysis in the Context of LOTOS-Based Design