@inproceedings{MR00b,
title = {Applying Formal Methods to Industrial Cases: The Language Approach (The Production-Cell and Mode-Automata) },
author = {Maraninchi, Florence and R\'emond, Yann},
month = {apr},
year = {2000},
booktitle = {5th International Workshop on Formal Methods for Industrial Critical Systems ({FMICS})},
address = {Berlin},
publisher = {{\tt http://www.inrialpes.fr/vasy/fmics}},
team = {SYNC},
}
