@inproceedings{RebaiKKHK152,
  author    = {Sirine Rebai and Hatem Hadj Kacem and Mohamed Karaa and Sa{\'{u}}l E. Pomares Hern{\'{a}}ndez and Ahmed Hadj Kacem},
  title     = {{CDLVT:} {A} Formal Verification Tool of Non-functional Properties
               for {WS-CDL} Specification},
  booktitle = {24th {IEEE} International Conference on Enabling Technologies: Infrastructure
               for Collaborative Enterprises, {WETICE}},
  pages     = {191--196},
  year      = {2015},
  doi       = {10.1109/WETICE.2015.14},
}