Modeling for reliability analysis - Markov modeling for reliability, maintainability, safety, and supportability analyses of complex systems. - Jan Pukite; Paul Pukite (IEEE, 1998)

DEGAS: discrete event Gnu advanced scheduler. - Luke Ludwig; Paul Pukite (SIGAda, 2006)

Generic discrete event simulations using DEGAS: application to logic design and digital signal processing. - Paul Pukite; Luke Ludwig (SIGAda, 2007)