@TechReport{ZV03,
author={M. Zhang and F. Vaandrager},
title={Analysis of a protocol for dynamic configuration of IPv4 link local addresses using Uppaal},
institution={NIII, University of Nijmegen},
year={2003},

type={},
number={NIII-R03XX},
address={},
month={},
note={},
key={}
}