A visual modeling tool for the development of trustworthy component-based systems