Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets | IEEE Conference Publication | IEEE Xplore