Manki Min Sunho Lim Segmented arrival graph based evacuation plan assessment algorithm using linear programming. 1-8 2017 SysCon https://doi.org/10.1109/SYSCON.2017.7934702 conf/syscon/2017 db/conf/syscon/syscon2017.html#MinL17