Integration of functional, cognitive and quality requirements. A railways case study