Stefan Conrad Klaus Turowski Temporal OCL Meeting Specification Demands for Business Components. 151-165 2001 Unified Modeling Language: Systems Analysis, Design and Development Issues db/books/collections/Siau2001.html#ConradT01