Functional Size Measurement based on Problem Frames: a Case Study