A Reliability Prediction Method for Abstract State Machines