System Assumptions and Constraints