Modeling Space Shuttle software failures at varying criticality levels | IEEE Conference Publication | IEEE Xplore