@inproceedings{DF13,
title = {Modular, hierarchical models of control systems in SpaceEx },
author = {Donz\'e, Alexandre and Frehse, Goran},
year = {2013},
booktitle = {Control Conference (ECC), 2013 European},
pages = {4244--4251},
team = {TEMPO},
}