Validating TOSCA Application Topologies In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 667-678, 2017 , Porto, Portugal