@inproceedings {267976, author = {Qin Yin and Justin Cappos and Andrew Baumann and Timothy Roscoe}, title = {Dependable {Self-Hosting} Distributed Systems Using Constraints}, booktitle = {Fourth Workshop on Hot Topics in System Dependability (HotDep 08)}, year = {2008}, address = {San Diego, CA}, url = {https://www.usenix.org/conference/hotdep-08/dependable-self-hosting-distributed-systems-using-constraints}, publisher = {USENIX Association}, month = dec }