Critical Information Systems: Software Quality and Dependability | IEEE Conference Publication | IEEE Xplore