On Ensuring Safety and Liveness Properties of Concurrent Models in SystemC. - Pallavi Shurpali; Ravi Shankar 001; Ellie Shuff (MSE, 2005)