TITLE : Towards a discipline of system engineering: validation of dependable systems AUTHOR(S) : Bondavalli A, Fantechi A, Latella D, Simoncini L TYPE : Conference article YEAR : 1999 CODE : 190795 *** DO NOT EDIT THIS FILE ***