2006, Srikanth Vijayaraghavan, Meyyappan Ramanathan, A Practical Guide for SystemVerilog Assertions (page 284)
The user should be absolutely confident that the error issued is a real design error. In other words, a user should be confident that his assertion code is correct and that the assertion failure is not a false condition.