@inproceedings{ASE.2006.37-46,
 author = {Ian Warren and Jing Sun and Sanjev Krishnamohan and Thiranjith Weerasinghe},
 title = {{An Automated Formal Approach to Managing Dynamic Reconfiguration}},
 booktitle = {ASE '06: Proceedings of the 21st IEEE International Conference on Automated Software Engineering},
 location = {Tokyo, Japan},
 month = {September},
 year = {2006},
 isbn = {0-7695-2579-2},
 issn = {1527-1366},
 pages = {37-46},
 doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2006.12},
 publisher = {IEEE Computer Society},
 address = {Los Alamitos, CA, USA}
}