On the execution control of HLA federations using the SISO space reference FOM