The jABC Approach to Rigorous Collaborative Development of SCM Applications. - Martina Hörmann; Tiziana Margaria; Thomas Mender; Ralf Nagel 001; Bernhard Steffen; Hong Trinh (ISoLA, 2008)