Source: https://users.wpi.edu/~xhuang/pubs/2018_lyu_tcas1.pdf