@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={} }