@inproceedings{martinie:hal-01556835,
  TITLE = {{A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments}},
  AUTHOR = {Martinie, C{\'e}lia and Palanque, Philippe and Navarre, David and Barboni, Eric},
  URL = {https://inria.hal.science/hal-01556835},
  BOOKTITLE = {{4th International Conference on Human-Centered Software Engineering (HCSE 2012)}},
  ADDRESS = {Toulouse, France},
  EDITOR = {Marco Winckler and Peter Forbrig and Regina Bernhaupt},
  PUBLISHER = {{Springer}},
  SERIES = {Lecture Notes in Computer Science book series (LNCS)},
  VOLUME = {7623},
  NUMBER = {Part 2: Full Papers},
  PAGES = {72-93},
  YEAR = {2012},
  MONTH = Oct,
  DOI = {10.1007/978-3-642-34347-6\_5},
  KEYWORDS = {software engineering ; formal methods ; task modeling ; safety management ; model-based design ; training},
  PDF = {https://inria.hal.science/hal-01556835/file/978-3-642-34347-6_5_Chapter.pdf},
  HAL_ID = {hal-01556835},
  HAL_VERSION = {v1},
}