Case Study of Feature-Oriented Requirements Modelling, Applied to an Online Trading System