The POST approach to on-line failure detection based on BST - José Miguel Vieira dos Santos (1997)