Integrating performance analysis in the context of LOTOS-based design | Publicación