@inproceedings{MR00a,
title = {Running-Modes of Real-Time Systems: A Case-Study with Mode-Automata },
author = {Maraninchi, Florence and R\'emond, Yann},
month = {jun},
year = {2000},
booktitle = {12th Euromicro Conference on Real-Time Systems},
address = {Stockholm (Sweden)},
publisher = {{IEEE} Computer Society Press},
team = {SYNC},
}
