A Strategy to Improve the Reliability of Object-Oriented Formal Models | IEEE Conference Publication | IEEE Xplore