Source: https://web.cse.ohio-state.edu/~stewart.962/Papers/romero2022bolt.pdf