Building a Symbolic Model Checker from Formal Language Description | IEEE Conference Publication | IEEE Xplore