1. Finite Markov Chains;Kemmeny,1976
2. Estimating the probability of failure when testing reveals no failures;Miller;IEEE Transactions on Software Engineering,1992
3. National Academy Press, 2001. Report of the July 2001 National Academy of Science Workshop on Statistical Methods in Software Engineering for Defense Systems, July 2001, in preparation
4. Cleanroom Software Engineering: Technology and Process;Prowell,1999
5. TML: A description language for Markov chain usage models;Prowell;Information and Software Technology,2000