3 ms·

More context: https://en.wikipedia.org/wiki/Peter_G._Neumann https://en.wikipedia.org/wiki/Peter_G._Neumann