@misc{indiciaef099ce62668c,
  title = {No big deal: introducing roles to reduce the size of ATL models},
  author = {Sjur Dyrkolbotn and Piotr Kaźmierczak and Erik Parmann and Truls Pedersen},
  year = {2012},
  url = {https://arxiv.org/abs/1204.3495},
  note = {Source identifier: 1204.3495}
}