A case for alloy annotations for efficient incremental analysis via domain specific solvers | IEEE Conference Publication | IEEE Xplore