Documentation for Finite State Machines