Simulation techniques for the validation of LOTOS specifications by E.H. Eertink