published in Proceedings of the 32nd International Conference on Computers and Their Applications, CATA 2017 Journal