@article{MHR+3,
title = {Specification and Validation of Embedded Systems: A Case Study of a Fault-Tolerant Data Acquisition System with Lustre Programming environment },
author = {Maraninchi, Florence and Halbwachs, Nicolas and Raymond, Pascal and Parent, Catherine and Shyamasundar, Rudrapatna K.},
month = {sep},
year = {2013},
journal = {CSI Journal of Computing},
number = {4},
publisher = {The computer Society of India},
volume = {1},
team = {SYNC},
}
