A simulation model for the SPLICE distributed real-time architecture door R.E.J. Jansen