Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis