An Integration of Software Engineering Methods and Semantic Technologies for Drafting and Modeling Statutes and Legal Rules