Hybrid Methodology for Verification of SW Safety Mechanisms. - Sarvesh Patankar; Sainath Karlapalem; Sakshi Biyani; Wen Chen 016; Roman Chovanec; Martin Vlk; Martin Kaspar (VTS, 2021)