Finite State Launches Reachability Analysis