functional safety, model abstraction, Model Management, qualitative modeling, qualitative reasoning, requirement formalization.