Formal Qualitative Physics-Based Reasoning for Functional Decomposition of Engineered Systems