The Executability of Object-Oriented Finite State Machines