An augmented state transition network analysis procedure