WatCA: The Waterloo consistency analyzer | IEEE Conference Publication | IEEE Xplore