XABSL - A Pragmatic Approach to Behavior Engineering | IEEE Conference Publication | IEEE Xplore