Assume-guarantee synthesis for digital contract signing
scientific article; zbMATH DE number 6609452