A Process for Specifying Black Box Behavior, Demonstrated in a Case Study. - Stephanie White; Herbert Warner (ICECCS, 1996)