@inproceedings{besnard:hal-02433749,
  TITLE = {{Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach}},
  AUTHOR = {Besnard, Valentin and Teodorov, Ciprian and Jouault, Fr{\'e}d{\'e}ric and Brun, Matthias and Dhaussy, Philippe},
  URL = {https://hal.science/hal-02433749},
  BOOKTITLE = {{22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019}},
  ADDRESS = {Munich, Germany},
  PAGES = {161-171},
  YEAR = {2019},
  DOI = {10.1109/MODELS.2019.000-5},
  KEYWORDS = {Embedded Systems ; Model Interpretation ; Monitoring ; Observer Automata},
  PDF = {https://hal.science/hal-02433749/file/besnard2019.pdf},
  HAL_ID = {hal-02433749},
  HAL_VERSION = {v1},
}