Brahim Ghribi Luigi Logrippo A Validation Environment for LOTOS. 93-108 1993 conf/pstv/1993 PSTV db/conf/pstv/pstv1993.html#GhribiL93