The measurability of hitting times - Richard F. Bass (2010)