Using SSDE for USB2.0 conformance co-verification. - Thierry J.-F. Omnés; Gerard Postuma; Jos Verhaegh; Marleen Boonen; Nick Gatherer (MEMOCODE, 2003)