An exercise in the automatic verification of asynchronous designs
scientific article; zbMATH DE number 597819
scientific article