Model Based approach for test and operations procedures

@inproceedings{Ferluc2018ModelBA,
  title={Model Based approach for test and operations procedures},
  author={R. D. Ferluc and G. Garcia and F. Bergomi},
  year={2018}
}