Kumazawa T, Yokoyama C, Takimoto M, Kambayashi Y. Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone. EAI Endorsed Trans Ind Net Intel Syst. 2016;3(7):e1. doi:10.4108/eai.21-4-2016.151156