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 : 190554 *** DO NOT EDIT THIS FILE ***