2 Refusal testing for classes of transition systems with inputs and outputs