publication venue for High-Level Architecture Modelling Assisting the Processor Platform Development, Debugging and Simulation.. 187-196. 2009