@inproceedings{delaval:inria-00476910, TITLE = {{Contracts for modular discrete controller synthesis}}, AUTHOR = {Delaval, Gwena{\"e}l and Marchand, Herv{\'e} and Rutten, Eric}, URL = {https://inria.hal.science/inria-00476910}, BOOKTITLE = {{Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems}}, ADDRESS = {Stockholm, Sweden}, PAGES = {57-66}, YEAR = {2010}, MONTH = Apr, DOI = {10.1145/1755888.1755898}, PDF = {https://inria.hal.science/inria-00476910/file/lctes2010.pdf}, HAL_ID = {inria-00476910}, HAL_VERSION = {v1}, }