A Time-independent Definition of Software Reliability