@article{MR03,
title = {Mode-Automata: a new Domain-Specific Construct for the Development of Safe Critical Systems },
author = {Maraninchi, Florence and R\'emond, Yann},
year = {2003},
journal = {Science of Computer Programming},
number = {3},
pages = {219-254},
publisher = {Elsevier},
volume = {46},
team = {SYNC},
}