Smart debugging software architectural design in SDL - Wong, W Eric; Maldonado, José Carlos; Sugeta, Tatiana; Qi, Yu (The Journal of Systems and Software, 2005)