Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions