Specifying Concurrent Lines