@inproceedings{OH08,
title = { On the timed automata-based verification of {R}avenscar systems },
author = {Ober, Ileana and Halbwachs, Nicolas},
month = {jun},
year = {2008},
booktitle = {13th International Conference on Reliable Software Technologies - Ada-Europe 2008},
address = {Venice, Italy},
team = {SYNC},
}
