Software testing for safety critical applications | IEEE Journals & Magazine | IEEE Xplore