Interleaving functional and performance structural analysis of net models | Publicación