@inproceedings{bastien:hal-03866297, TITLE = {{Security Analysis: From model to system analysis}}, AUTHOR = {Bastien, Drouot and Monthe, Valery and Gu{\'e}rin, Sylvain and Champeau, Jo{\"e}l}, URL = {https://hal.science/hal-03866297}, BOOKTITLE = {{CRiSiS 2022 : International Conference on Risks and Security of Internet and Systems}}, ADDRESS = {Sousse, Tunisia}, YEAR = {2022}, MONTH = Dec, KEYWORDS = {Cyber-Security ; Modeling ; Formal Methods ; Model-Checking ; Property Specification ; Case Study}, PDF = {https://hal.science/hal-03866297/file/Property_verification_on_embedded_systems-1.pdf}, HAL_ID = {hal-03866297}, HAL_VERSION = {v1}, }