A methodology and tool suite for C compiler generation from ADL processor models Conference Paper uri icon