Behavior-based acceptance testing of software systems: a formal scenario approach | IEEE Conference Publication | IEEE Xplore