Alena Tsikhanovich El Mostapha Aboulhamid Guy Bois A Methodology for Hw/Sw Specification and Simulation at Multiple Levels of Abstraction. 24-29 2005 conf/iwsoc/2005 IWSOC http://doi.ieeecomputersociety.org/10.1109/IWSOC.2005.16 db/conf/iwsoc/iwsoc2005.html#TsikhanovichAB05