SMS dit: Reliability modeling of structured systems : exploring symmetry in state-space generation / Arun K. Somani.