We use speed tables. 2 mins between aircraft in the same speed group, add an extra minute for each speed group difference when the first is in a lower group. On some routes where there is a split we can use 1 min. In practice, we are allowed to use the ATM to achieve 5nm in trail, just watch the speed groups.