Towards a Multi-MoC Hardware/Software Co-design Framework Using Abstract State Machines. - Nathan Buchanan; Hiren D. Patel (MTV, 2010)