B. Botma, Rom Langerak: Simulator for LOTOS to study the independence and causality of events. FORTE 1994: 221-223