An introduction to software reliability modelling