@misc{indiciae048687808dc3,
  title = {Handling state space explosion in verification of component-based systems: A review},
  author = {Faranak Nejati and Abdul Azim Abd. Ghani and Ng Keng Yap and Azmi Jaafar},
  year = {2021},
  doi = {10.1109/access.2021.3081742},
  url = {https://arxiv.org/abs/1709.10379},
  note = {Source identifier: 1709.10379}
}