Deriving an Internal Events Model from a Deductive Conceptual Model