@misc{indiciaee80916224ee9,
  title = {N-PAT: A Nested Model-Checker},
  author = {Hadrien Bride and Cheng-Hao Cai and Jin Song Dong and Rajeev Gore and Zhé Hóu and Brendan Mahony and Jim McCarthy},
  year = {2020},
  url = {https://arxiv.org/abs/2005.05520},
  note = {Source identifier: 2005.05520}
}