The Complexity of Reversal-Bounded Model-Checking.