Methods and tools to the verification of safety-related control software | IEEE Conference Publication | IEEE Xplore