Building dependable software for critical applications: multi-version software versus one good version | IEEE Conference Publication | IEEE Xplore