Title: A compuer-aided concurrent design system
First published: 1996