Finite state machines (FSMs) have finite number of states, conditions that lead to internal state transitions, and relevant behavior ... PSL statements can be embedded in code written in either ...