IBDL: A Language for Interface Behavior Specification and Testing. - Sreenivasa Viswanadha; Deepak Kapur (COOTS, 1998)