@article{benabbou:hal-01298623,
  TITLE = {{Context-aware approach for formal verification}},
  AUTHOR = {Benabbou, Amel and Bahloul, Safia Nait and Philippe, Dhaussy},
  URL = {https://hal.archives-ouvertes.fr/hal-01298623},
  JOURNAL = {{EAI Endorsed Transactions on Context-aware Systems and Applications}},
  VOLUME = {3},
  NUMBER = {7},
  PAGES = {1-10},
  YEAR = {2016},
  MONTH = Feb,
  DOI = {10.4108/eai.12-2-2016.151085},
  KEYWORDS = {Use cases ; Model transformation ; Model-checking ; Context-aware verification ; Context-awareness ; Interaction overview diagram ; Context},
  HAL_ID = {hal-01298623},
  HAL_VERSION = {v1},
}