Combining type-checking with model-checking for system verification | IEEE Conference Publication | IEEE Xplore