@inproceedings{tiberghien:inria-00512442, TITLE = {{Specifying Self-configurable Component-based Systems with FracToy}}, AUTHOR = {Tiberghien, Alban and Merle, Philippe and Seinturier, Lionel}, URL = {https://inria.hal.science/inria-00512442}, BOOKTITLE = {{ASM, Alloy, B and Z, 2010}}, ADDRESS = {Orford, Canada}, PUBLISHER = {{Springer}}, SERIES = {LNCS}, VOLUME = {5977}, PAGES = {91-104}, YEAR = {2010}, MONTH = Feb, PDF = {https://inria.hal.science/inria-00512442/file/fractoy.pdf}, HAL_ID = {inria-00512442}, HAL_VERSION = {v1}, }