Text this: Error propagation analysis in the SAE Architecture Analysis and Design Language (AADL) and the EDICT tool framework /