Requirement Specification - Deriving Requirements