Simulator for LOTOS to study the independence and causality of events. - B. Botma; Rom Langerak (FORTE, 1994)