A Numerical Framework for Solving Discrete Finite Markov Models Applied to the AAL-2 Protocol