The Papyrus Tool as an Eclipse UML2-modeling Environment for Requirements | IEEE Conference Publication | IEEE Xplore