Language Agnostic Model Checking for SDL | IEEE Conference Publication | IEEE Xplore