Using Structure of Automata for Faster Synchronizing Heuristics Topics: Model-Based Testing and Validation In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 544-551, 2018 , Funchal, Madeira, Portugal