Designing reliable systems from reliable components using the context-dependent constraint concept | IEEE Conference Publication | IEEE Xplore