@inproceedings{besnard:hal-02375996,
  TITLE = {{A Model Checkable UML Soccer Player}},
  AUTHOR = {Besnard, Valentin and Teodorov, Ciprian and Jouault, Fr{\'e}d{\'e}ric and Brun, Matthias and Dhaussy, Philippe},
  URL = {https://hal.science/hal-02375996},
  BOOKTITLE = {{3rd Workshop on Model-Driven Engineering Tools}},
  ADDRESS = {Munich, Germany},
  YEAR = {2019},
  MONTH = Sep,
  KEYWORDS = {Tool ; UML ; Model-Driven Engineering},
  HAL_ID = {hal-02375996},
  HAL_VERSION = {v1},
}