Software system safety and reliability | IEEE Conference Publication | IEEE Xplore