@misc{indiciae3c2824c17bc8,
  title = {Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)},
  author = {Yilong Yang and Xiaoshan Li and Quan Zu},
  year = {2018},
  doi = {10.1109/access.2019.2899761},
  url = {https://arxiv.org/abs/1803.05362},
  note = {Source identifier: 1803.05362}
}