@misc{indiciaed10e86a495be,
  title = {Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version)},
  author = {Aleksandar S. Dimovski},
  year = {2018},
  url = {https://arxiv.org/abs/1802.04970},
  note = {Source identifier: 1802.04970}
}