Ferdy Hanssen, Angelika Mader, Pierre G. Jansen. Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal. In 14th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2006), 11-14 September 2006, Monterey, California, USA. pages 239-246, IEEE Computer Society, 2006. [doi]
Abstract is missing.