Coverage testing software architectural design in SDL - Wong, W Eric; Sugeta, Tatiana; Li, J Jenny; Maldonado, José Carlos (Computer Networks, 2003)