Text this: CoAP conformance testing based on TTCN-3