Model Checking C# Code: A Translation Approach | IEEE Conference Publication | IEEE Xplore