Temporality Specification in Automatic Production Software Environments Based on Object-Oriented Conceptual Models - Carlos Meneses (Computación y Sistemas, 2001)