From Object-Orientation to Formal Methods