Dependability of Safety-Critical Computer Systems through Component-Based Evolution | IEEE Conference Publication | IEEE Xplore