Interaction-based behavior modeling of embedded software using UML 2.0 | IEEE Conference Publication | IEEE Xplore