Source: https://www.epfl.ch/labs/lai/wp-content/uploads/2018/10/15Mot_Async.pdf