Giovanna Di Marzo Serugendo Nicolas Guelfi Alexander B. Romanovsky Avelino F. Zorzo Formal Development and Validation of Java Dependable Distributed Systems. 98-108 1999 conf/iceccs/1999 ICECCS http://doi.ieeecomputersociety.org/10.1109/ICECCS.1999.802854 db/conf/iceccs/iceccs1999.html#SerugendoGRZ99