A computerized formal means to reason about components in simulation models and environments: Part I: a logic-based reasoning methodology