An approach to safety and correctness verification of software design specification | IEEE Conference Publication | IEEE Xplore