Domain-specific Model Checking Using The Bogor Framework | IEEE Conference Publication | IEEE Xplore