Validating software architectures for high reliability | IEEE Conference Publication | IEEE Xplore