Note that in MSRDOC.DTD there are means to formally describe variables to be used if the system software of an ECU is specified.