A Meta Hardware Description Language Melasy for Model-Checking Systems | IEEE Conference Publication | IEEE Xplore