@inproceedings{mere:hal-03780416,
TITLE = {Feedback on the Formal Verification of UML Models in an Industrial Context: The Case of a Smart Device Life Cycle Management System},
AUTHOR = {Mere, Maxime and Jouault, Fr{\'e}d{\'e}ric and Pallardy, Loic and Perdriau, Richard},
URL = {https://hal.science/hal-03780416},
BOOK
TITLE = {MODELS 2022},
ADDRESS = {Montr{\'e}al, Canada},
YEAR = {2022},
MONTH = Oct, HAL_ID = {hal-03780416},
HAL_VERSION = {v1},
}