Andrea Bondavalli Alessandro Fantechi Diego Latella Luca Simoncini Design Validation of Embedded Dependable Systems. 52-62 2001 21 IEEE Micro 5 http://www.computer.org:80/micro/mi2001/m5052abs.htm db/journals/micro/micro21.html#BondavalliFLS01