Conformance testing of time-dependent protocols | IEEE Conference Publication | IEEE Xplore