Life Cycle and Quality Assurance of Software for Systems of Critical Information Infrastructure Facilities | IEEE Conference Publication | IEEE Xplore