Technique for Early Reliability Prediction of Software Components Using Behaviour Models
Fig 3
Scenario preparation: (a) Elicited state variables of each component in the ATM example, (b) Scenario1 of Fig 2 after annotation based on the state variables and propagation.