An evaluation of the Teamwork CASE environment for specifications capture of hardware systems. - Apostolos Dollas; Scott L. Crutchfield (RSP, 1992)