General presentation of SCAN. A distributed systems modelling and validation tool. - Elie Najm; Stanislaw Budkowski; Thierry Gilot; Leon Lumbroso (PSTV, 1985)