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