Add state machine libraries