Identifying Insecure Features in Android Applications using Model Checking In Proceedings of the 4th International Conference on Information Systems Security and Privacy - Volume 1: ForSE, 589-596, 2018 , Funchal, Madeira, Portugal