Efficient Data Model Verification with Many-Sorted Logic (T) | IEEE Conference Publication | IEEE Xplore