Bounded Termination of Monotonicity-Constraint Transition Systems - Amir M. Ben-Amram; Michael Vainer (CoRR, 2012)