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