Google's infrastructure papers are always a good read. I like how they design systems so that reasoning about it is as easy as possible.