A Safety Mechanism Using Software Patterns. - Kiyohito Itoh; Hiromi Kobayashi (TACoS, 2003)