Katsumi Wasaki and  Naoki Iwasaki,  Development of A Meta Description Language for Software/Hardware Cooperative Design and Verification for Model-Checking Systems.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    June 2008, vol. 18(6). 1807 - 1811
    [viewed 19 April 2024]. Available from: https://publications.waset.org/pdf/4385.