Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis. - Xiufeng Ni; Cui Zhang (J. Object Technol., 2008)