Debugging a priority inversion bug on the Mars Pathfinderhttp://research.microsoft.com/en-us/um/people/mbj/mars_pathfinder/authoritative_account.html by LukeWalsh • 11 years ago 2 0 11 years agoREresearch.microsoft.com