StateWORKS: Where to buy

Modeling Software with Finite State Machines: A Practical Approach

You can get the book in several book shops and in internet among others at the following: