Reliability Analysis of Concurrent Systems Using LTSA. - Genaína Nunes Rodrigues; David S. Rosenblum; Jonas Wolf (ICSE Companion, 2007)