Certified Decision Procedures for Two-Counter Machines Academic Article