Observer: a run-time checking tool for local area networks. - R. Molva; Michel Diaz; Jean-Michel Ayache (PSTV, 1985)