| An efficient stiffness-insensitive method for transient analysis of Markov availability models. | 3 | 0.45 | 1996 |
| Comment/correction: dependability modeling using Petri nets. | 1 | 0.36 | 1996 |
| A methodology for formal expression of hierarchy in model solution | 9 | 0.93 | 1993 |
