How Finite State Brings Security, Engineering & Compliance Together