Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets Topics: Embedded Systems; Formal Methods; Software Engineering Tools In Proceedings of the 16th International Conference on Software Technologies ICSOFT - Volume 1, 533-541, 2021