Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables | IEEE Conference Publication | IEEE Xplore