@book{a60126ed3c6a41a1abc3442b205ea29d,
title = "Verifying the distributed real-time network protocol RTnet using Uppaal",
abstract = "We present a formal analysis of RTnet using the model checker Uppaal. Besides normal protocol behaviour, the analysis focuses on the fault-handling properties of RTnet, in particular recovery after packet loss. Both qualitative and quantitative properties are presented, together with the verification results and conclusions about the robustness of RTnet.",
keywords = "METIS-237387, IR-55965, EWI-1905",
author = "F.T.Y. Hanssen and Mader, {Angelika H.} and P.G. Jansen",
note = "Imported from DIES",
year = "2006",
month = jan,
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "06-19",
address = "Netherlands",
}