A Formal Temporal Object-Oriented Data Model