ISO 21434: How Does Finite State Help?