@inproceedings{Fruth2006probabilistic,
  title = "Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol",
  author = "Matthias Fruth",
  year = "2006",
  booktitle = "Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006)",
  pages = "290--297",
  publisher = "IEEE Computer Society",
}