A mathematical framework for modeling and analyzing migration time · Study