https://123dok.org/document/lzgole7q-exploiting-model-checking-for-mobile-botnet-detection.html