An Approach for Automated Safety Testing of Safety-Critical Software System Based on Safety Requirements | IEEE Conference Publication | IEEE Xplore