Automated generation of finite state machine from object-oriented formal specifications - Khalid, Shafaq; Nadeem, Aamer (2010 6th International Conference on Emerging Technologies (ICET), Emerging Technologies (ICET), 2010 6th International Conference on, 2010)