@inproceedings{leilde:hal-01933792,
  TITLE = {{A Problem-Oriented Approach to Critical System Design and Diagnosis Support}},
  AUTHOR = {Leilde, Vincent and Ribaud, Vincent and Teodorov, Ciprian and Dhaussy, Philippe},
  URL = {https://hal.science/hal-01933792},
  BOOKTITLE = {{1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018)}},
  ADDRESS = {Marrakesh, Morocco},
  YEAR = {2018},
  MONTH = Oct,
  KEYWORDS = {Problem Oriented Method ; Diagnosis ; Security Patterns},
  PDF = {https://hal.science/hal-01933792/file/detect_2018.pdf},
  HAL_ID = {hal-01933792},
  HAL_VERSION = {v1},
}