I have used the "Michael method" in an application some years ago. I had to go to reset from within an ISR, so the use of RETIs was a must. And it works fine. That application was written in assembly.
I think that if your code is written in C, you can use setjmp() and longjmp() to jump to a previously defined address. This method is frequently used for errors management.

Regards,
Alfredo del Rio.