Automated dismemberment of JSD process specifications. - Bass, Andrew; Ratcliff, Bryan (Information & Software Technology, 1994)