Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. - Hans Toetenel; Ronald F. Lutje Spelberg; G. Bandini (RTCSA, 2000)

Application of Parametric Model Checking - The Root Contention Protocol. - G. Bandini; Ronald F. Lutje Spelberg; Ruud C. M. de Rooij; Hans Toetenel (HICSS, 2001)