Local model checking and protocol analysis
scientific article; zbMATH DE number 1862281