A modular framework for verifying versatile distributed systems
scientific article; zbMATH DE number 7138307
scientific article