Requirements for embedded systems are mainly documented using natural language. This is due to the fact that natural language does not require special nomenclature knowledge and is accepted as the basis for contractual agreements. However, purely natural-language-based requirements engineering...

Road vehicles operations are continuously monitored through physical parameters (temperature, air flow, rotation rate); such measurements are retrieved by electronic sensors and communicated, over the internal vehicle communications protocol, towards the Main Control Unit for further processing....