@misc{indiciae6194d7deb16f,
  title = {PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification},
  author = {Mitziu Echeverria and Zeeshan Ahmed and Bincheng Wang and M. Fareed Arif and Syed Rafiul Hussain and Omar Chowdhury},
  year = {2021},
  url = {https://arxiv.org/abs/2101.00328},
  note = {Source identifier: 2101.00328}
}