Derivation of Useful Execution Trees from LOTOS by using an Interpreter. - Renaud Guillemot; Luigi Logrippo (FORTE, 1988)