A computerized formal means to reason about components in simulation models and environments. Part II: module development theory