A Hierarchical Methodology to Specify and Simulate Complex Computational Systems | Publicación