TITLE     : Formal description and validation for an integrity policy supporting multiple levels of criticality
AUTHOR(S) : Fantechi A, Gnesi S, Semini L
TYPE      : Contribution to book
YEAR      : 1999
CODE      : 407760

*** DO NOT EDIT THIS FILE ***