Interaction interfaces-towards a scientific foundation of a methodological usage of message sequence charts | IEEE Conference Publication | IEEE Xplore