The design of a LOTOS simulator / Peter van Eijk