Enabling Granular Exploration of Sequence Diagrams with Activity Diagrams | IEEE Conference Publication | IEEE Xplore