@Article{DKNP06,
author={M. Duflot and M. Kwiatkowska and G. Norman and D. Parker},
title={A Formal Analysis of {Bluetooth} Device Discovery},
journal={Int. Journal on Software Tools for Technology Transfer},
year={2006},

volume={8},
number={6},
pages={621--632},
publisher={},
month={},
note={},
key={}
}