@techreport{delaval:inria-00436560, TITLE = {{BZR Contracts for Modular Discrete Controller Synthesis}}, AUTHOR = {Delaval, Gwena{\"e}l and Marchand, Herv{\'e} and Rutten, Eric}, URL = {https://inria.hal.science/inria-00436560}, TYPE = {Research Report}, NUMBER = {RR-7111}, INSTITUTION = {{INRIA}}, YEAR = {2009}, PDF = {https://inria.hal.science/inria-00436560/file/RR-7111.pdf}, HAL_ID = {inria-00436560}, HAL_VERSION = {v1}, }