@article{gragera-et-al_aisc2020,
  author       = {Gragera, Alba and García, Alba María and Fernández, Fernando},
  journal      = {Advances in Intelligent Systems and Computing},
  pages        = {656 -- 667},
  title        = {A Modelling and Formalisation Tool for Use Case Design in Social
    Autonomous Robotics},
  volume       = {1093 AISC},
  year         = 2020,
}