@misc{indiciaed4d641c2d9f4,
  title = {Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures},
  author = {Michael Katelman and José Meseguer},
  year = {2010},
  doi = {10.4204/eptcs.36.6},
  url = {https://arxiv.org/abs/1009.4601},
  note = {Source identifier: 1009.4601}
}