1. Cerone, A., Milne, G.J.: A methodology for the formal analysis of asynchronous micropipelines. In: Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, pp. 246–262. Springer, Heidelberg (2000)
2. Lecture Notes in Computer Science;L. Moura de,2004
3. Furedi, Z., Kurshan, R.P.: Minimal length test vectors for multiple-fault detection. Theor. Comput. Sci. 315(1), 191–208 (2004)
4. Graves, J.: Cryptographic device. Technical report, Defence Signals Directorate (2003)
5. Jackson, D.: Structuring Z specifications with views. ACM Trans. Softw. Eng. Methodol. 4(4), 365–389 (1995)