@inproceedings{besnard:hal-01887948,
  TITLE = {{Unified LTL Verification and Embedded Execution of UML Models}},
  AUTHOR = {Besnard, Valentin and Brun, Matthias and Jouault, Fr{\'e}d{\'e}ric and Teodorov, Ciprian and Dhaussy, Philippe},
  URL = {https://hal.science/hal-01887948},
  BOOKTITLE = {{21st International Conference on Model Driven Engineering Languages and Systems (MODELS)}},
  ADDRESS = {Copenhague, Denmark},
  YEAR = {2018},
  MONTH = Oct,
  HAL_ID = {hal-01887948},
  HAL_VERSION = {v1},
}