RELSPEC: a framework for reliability aware design of component based embedded systems