Source Transformation for Concurrency Analysis. - Timothy Cassidy; James R. Cordy; Thomas R. Dean; Jürgen Dingel (LDTA@ETAPS, 2005)