César Andrés Carlos Molinero Manuel Núñez A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. 347-356 2009 ICCS (1) http://dx.doi.org/10.1007/978-3-642-01970-8_34 conf/iccS/2009-1 db/conf/iccS/iccS2009-1.html#AndresMN09