Parametric verification of the IEEE 1394a Root Contention protocol using LPMC | IEEE Conference Publication | IEEE Xplore