How Finite State Supports Automakers in Meeting ISO Standards