An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems