Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System.

Ludovic Apvrille Pierre de Saqui-Sannes Patrick Sénac Christophe Lohr Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System. 167-191 2004 11 Autom. Softw. Eng. 2 http://dx.doi.org/10.1023/B:AUSE.0000017742.47984.6c db/journals/ase/ase11.html#ApvrilleSSL04