SYSTEM AVAILABILITY ESTIMATOR." Digest of Papers Ftcs (Fault Tolerant Computing Symposium): 84-89."
Transient analysis of the leaky bucket rate control scheme under Poisson and ON-OFF sources." Proceedings of Infocom '94 Conference on Computer Communications."
Unification of finite failure non-homogeneous Poisson process models through test coverage." Proceedings of Issre '96: 7th International Symposium on Software Reliability Engineering."