B. Requirements Analysis and Modeling