Parameterized reachability analysis of the ieee 1394 root contention protocol using trex (2001)

by A Collomb-Annichini, M Sighireanu
Venue:In Proceedings of Workshop on Real-Time Tools (RT-TOOLS’2001