Refusal Testing for Classes of Transition Systems with Inputs and Outputs.

Lex Heerink Jan Tretmans Refusal Testing for Classes of Transition Systems with Inputs and Outputs. 23-38 1997 conf/forte/1997 FORTE db/conf/forte/forte1997.html#HeerinkT97