Assuring Safety for Component Based Software Engineering | IEEE Conference Publication | IEEE Xplore