Míreanna comhchosúla: Mathematics in Software Reliability and Quality Assurance