selected publications academic article High-Level Architecture Modelling Assisting the Processor Platform Development, Debugging and Simulation.. MBMV. 187-196. 2009