This's a wonderful book[1] but the latest edition I have is dated 1973. Is there recent book(s)/rewrite(s) that covers the same subjects and elucidate with more explicit arguments and details of their proofs? Specifically, things like local times, killing, and shunts.
[1] K Ito, H McKean, Jr, Diffusion Processes and their Sample Paths, Springer, 1974.