Abstract: State machine diagrams offer the advantage of expressing the system clearly and easily to understand because they express the operation of the system in highly readable graphics. In addition ...