By the way, you should definitely read Klawonn and Rheinbach's "Inexact FETI-DP methods" (http://onlinelibrary.wiley.com/doi/10.1002/nme.1758/pdf , ask me if you don't have access). I think it has the most clear description of what is going on, and offers the most flexibility in terms of which spaces to iterate in.