Consistency checking for automatic software generation | IEEE Conference Publication | IEEE Xplore