By the way, you should definitely read Klawonn and Rheinbach's "Inexact FETI-DP methods" (<a href="http://onlinelibrary.wiley.com/doi/10.1002/nme.1758/pdf">http://onlinelibrary.wiley.com/doi/10.1002/nme.1758/pdf</a> , 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.