Kumazawa, Tsutomu, et al. “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, https://doi.org/10.4108/eai.21-4-2016.151156.