T. Dohi, K. Iwamoto, H. Okamura, and N. Kaio. High Assurance Systems Engineering, 2002. Proceedings. 7th IEEE International Symposium on, page 159-166. (2002)
N. Kryvinska, C. Strausss, and P. Zinterhof. P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC), 2010 International Conference on, page 171-178. (November 2010)