Qin Yin Justin Cappos Andrew Baumann Timothy Roscoe Dependable Self-Hosting Distributed Systems Using Constraints. 2008 HotDep http://www.usenix.org/events/hotdep08/tech/full_papers/yin/yin.pdf conf/hotdep/2008 db/conf/hotdep/hotdep2008.html#YinCBR08