أرسل هذا في رسالة قصيرة: Software reliability modelling and evaluation via Markov and semi-Markov processes