Formal Methods and Object Technology