@inproceedings{ACM+03,
title = {Using Controller Synthesis to Build Property-Enforcing Layers },
author = {Altisen, Karine and Clodic, Aur\'elie and Maraninchi, Florence and Rutten, Eric},
month = {apr},
year = {2003},
booktitle = {European Symposium on Programming (ESOP)},
team = {SYNC},
}