Gianpiero Cabodi Silvano Gai Marco Mezzalama Paolo Luca Montessoro Fabio Somenzi Fault simulation in a multilevel environment: the MOZART approach. 128-133 1988 FTCS http://dx.doi.org/10.1109/FTCS.1988.5310 conf/ftcs/1988 db/conf/ftcs/ftcs1988.html#CabodiGMMS88