Incorporating Modular Imperfect Coverage into Dynamic Hierarchical Systems Analysis. - Prashanthi Boddu; Liudong Xing (DASC, 2007)