Contract Clarity through Visualization -- Preliminary Observations and Experiments | IEEE Conference Publication | IEEE Xplore