On Improving BST for Concurrent Functional Verification - José Miguel Vieira dos Santos (1998)