Transforming architectural descriptions of component-based systems for formal analysis