On relating functional specifications to architectural specifications: A case study