Wasaki, K. , Iwasaki, N. (2008), 'Development of A Meta Description Language for Software/Hardware Cooperative Design and Verification for Model-Checking Systems', World Academy of Science, Engineering and Technology, Open Science Index 18, International Journal of Computer and Information Engineering, 2(6), 1807 - 1811.