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

Fast and accurate protocol specific bus modeling using TLM 2.0. - H. W. M. van Moll; Henk Corporaal; Víctor Reyes; Marleen Boonen (DATE, 2009)