@book{82109,
	author = {Tokoro, Mario,},
	title = {Open systems dependability :},
	publisher = {CRC Press,},
	year = {2015},
	address = {Boca Raton, FL :},
	edition = {2nd ed.}
}