Validating XML Constraints Using Automata | IEEE Conference Publication | IEEE Xplore