Extracted Automaton framework from OsgiMonitor