TITLE     : Proving safety properties for embedded control systems
AUTHOR(S) : Bernardeschi C, Fantechi A, Gnesi S, Mongardi G
TYPE      : Conference article
YEAR      : 1996
CODE      : 410653

*** DO NOT EDIT THIS FILE ***