Towards an ASM-based Characterization of the Deadlock-freedom Property Topics: Model Analysis and Checking In Proceedings of the 11th International Joint Conference on Software Technologies - ICSOFT-PT, 123-130, 2016 , Lisbon, Portugal