Transformation of TOCL temporal properties into OCL

Mustafa Al-Lail, Antonio Rosales, Hector Cardenas, Lars Hamann, Alfredo Perez. Transformation of TOCL temporal properties into OCL. In Thomas Kühn 0001, Vasco Sousa, editors, Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022. pages 899-907, ACM, 2022. [doi]

@inproceedings{Al-LailRCHP22,
  title = {Transformation of TOCL temporal properties into OCL},
  author = {Mustafa Al-Lail and Antonio Rosales and Hector Cardenas and Lars Hamann and Alfredo Perez},
  year = {2022},
  doi = {10.1145/3550356.3563132},
  url = {https://doi.org/10.1145/3550356.3563132},
  researchr = {https://researchr.org/publication/Al-LailRCHP22},
  cites = {0},
  citedby = {0},
  pages = {899-907},
  booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022},
  editor = {Thomas Kühn 0001 and Vasco Sousa},
  publisher = {ACM},
  isbn = {978-1-4503-9467-3},
}