Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning Model In Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE, 355-366, 2017 , Porto, Portugal