Formalizing the Presidential Transition Process