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