Verification of infinite state systems using Presburger arithmeticTobias SchüleUitverkocht4,3Hou mij op de hoogte