Open systems dependability by Mario Tokoro | Lex | Lex