Goal-scenario-oriented requirements engineering for functional decomposition with bidirectional transformation to controlled natural language: Case study "body control module"