Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr. Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System. Automated Software Engineering, 11(2):167-191, 2004. [doi]
@article{ApvrilleSSL04,
title = {Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System},
author = {Ludovic Apvrille and Pierre de Saqui-Sannes and Patrick Sénac and Christophe Lohr},
year = {2004},
url = {http://springerlink.metapress.com/index/10.1023/B:AUSE.0000017742.47984.6c},
researchr = {https://researchr.org/publication/ApvrilleSSL04},
cites = {0},
citedby = {0},
journal = {Automated Software Engineering},
volume = {11},
number = {2},
pages = {167-191},
}