Refinement-based requirements modeling using triggered message sequence charts | IEEE Conference Publication | IEEE Xplore