@misc{indiciae3eaeb7cac398,
  title = {Model-based testing with UML applied to a roaming algorithm for bluetooth devices.},
  author = {Zhen Ru Dai and Jens Grabowski and Helmut Neukirchen and Holger Pals},
  year = {2004},
  doi = {10.1631/jzus.2004.1327},
  url = {https://pubmed.ncbi.nlm.nih.gov/15495324/},
  note = {Source identifier: 15495324}
}