@article{HGQ11,
title = {Building Distributed Controllers for Systems with Priorities },
author = {Hafaiedh, Imene Ben and Graf, Susanne and Quinton, Sophie},
year = {2011},
journal = {J. Log. Algebr. Program.},
number = {3},
pages = {194-218},
volume = {80},
team = {DCS},
}
