Addition into implementation subsection

xml to automata + automata to presburger formula details added in
Section3 (implementation)