Modeling Legislation by using UML State Machine Diagrams | IEEE Conference Publication | IEEE Xplore