Design Choices In Specification Languages And Verification Systems | IEEE Conference Publication | IEEE Xplore