Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'07)