@inproceedings{MM04b,
title = {Logical-Time Contracts for the Development of Reactive Embedded Software },
author = {Maraninchi, Florence and Morel, Lionel},
month = {sep},
year = {2004},
booktitle = {30th Euromicro Conference, Component-Based Software Engineering Track (ECBSE)},
address = {Rennes, France},
team = {SYNC},
}
