The Ganeti virtualization toolkit which was developed internally at Google and released as free software is full of such design docs. I always enjoyed reading those as an external Ganeti user:

http://docs.ganeti.org/ganeti/master/html/#implemented-desig...