TITLE     : An integrated and compositional approach to design validation of embedded dependable systems
AUTHOR(S) : Bondavalli A, Fantechi A, Latella D, Simoncini L
TYPE      : Conference article
YEAR      : 2000
CODE      : 406714

*** DO NOT EDIT THIS FILE ***