Software testing based on SDL specifications with save | IEEE Journals & Magazine | IEEE Xplore