A Methodology and Tool Suite for C Compiler Generation from ADL Processor Models