An Approach for Implementing State Machines with Online Testability. (28th April 2010)