Combined use of formal methods for reliability assurance of software for safety-critical systems. - Igor Buzhinskii (2019)