@inproceedings{sun:hal-01165686, TITLE = {{A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems}}, AUTHOR = {Sun, Wei-Tsun and Girault, Alain and Delaval, Gwena{\"e}l}, URL = {https://inria.hal.science/hal-01165686}, BOOKTITLE = {{SIES'2015: 10th IEEE International Symposium on Industrial Embedded Systems}}, ADDRESS = {Siegen, Germany}, YEAR = {2015}, MONTH = Jun, PDF = {https://inria.hal.science/hal-01165686/file/20140927-0819.pdf}, HAL_ID = {hal-01165686}, HAL_VERSION = {v1}, }