Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench
scientific article; zbMATH DE number 5576956