Kumazawa, Tsutomu, Chihiro Yokoyama, Munehiro Takimoto, and Yasushi Kambayashi. 2016. “Ant Colony Optimization Based Model Checking Extended by Smell-Like Pheromone”. EAI Endorsed Transactions on Industrial Networks and Intelligent Systems 3 (7):e1. https://doi.org/10.4108/eai.21-4-2016.151156.