Verification of Concurrent Systems with VerCors
scientific article; zbMATH DE number 6408112