An Integrated Object-Oriented and Formal Modeling Environment