A Rigorous Framework for Verification & Validation of Dynamic Aspect of Safety Critical System. - Monika Singh; Ashok Kumar Sharma; Ruhi Saxena (ICTCS, 2016)