T. . Kumazawa, C. . Yokoyama, M. . Takimoto, and Y. . Kambayashi, “Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone”, EAI Endorsed Trans Ind Net Intel Syst, vol. 3, no. 7, p. e1, Apr. 2016.