A Framework for Conformance Testing of Systems Communicating through Rendezvous