TITLE     : A case study in formal analysis of system requirements
AUTHOR(S) : Belli D, Mazzanti F
TYPE      : Contribution to book
YEAR      : 2023
CODE      : 471855

*** DO NOT EDIT THIS FILE ***