Dependability assessment of safety-critical system software by static analysis methods | IEEE Conference Publication | IEEE Xplore