Elisabeth Kupitz Design Assistance in Concurrent Integrated Environments 119-138 1992 conf/ifip10-2/1992b Electronic Design Automation Frameworks db/conf/ifip10-2/ifip10-2-1992b.html#Kupitz92