Computer aided design of a firmware flashing protocol for vehicular on-board networks