Kumazawa, T. ., C. . Yokoyama, M. . Takimoto, and Y. . Kambayashi. “Ant Colony Optimization Based Model Checking Extended by Smell-Like Pheromone”. EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, vol. 3, no. 7, Apr. 2016, p. e1, doi:10.4108/eai.21-4-2016.151156.