**Mathematics in Software Reliability and Quality Assurance**
