The bidirectional safety analysis & validation framework of system and software with its techniques and applications | IEEE Conference Publication | IEEE Xplore