CERBERE, A Tool to Keep an Eye on High Level Protocols. - Jean-Pierre Ansart; J. Damidau (PSTV, 1982)