OpenSESAME: A Tool's Concept. - M. Walter (ICALP Satellite Workshops, 2000)

Review of "The Modeling World of Reliability/Safety Engineering". - M. Walter; Winfrid G. Schneeweiss (IEEE Trans. Reliab., 2006)