A process for specifying black box behavior, demonstrated in a case study | IEEE Conference Publication | IEEE Xplore