Using SSDE for USB2.0 conformance co-verification | IEEE Conference Publication | IEEE Xplore