@inproceedings{DEFakhfakh19,
  author    = {Fairouz Fakhfakh},
  title     = {A refinement-based approach for verifying dynamic changes on time-aware
               processes},
  booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
               Proceedings of the 23rd International Conference KES-2019, Budapest,
               Hungary, 4-6 September 2019},
  pages     = {1489--1498},
  year      = {2019},
  series    = {Procedia Computer Science},
  volume    = {159},
  publisher = {Elsevier}
  }