@article{MazoContract, title={A Contract Theory for Layered Control Architectures}, author={M. Mazo Jr. and W. D. Compton and M. H. Cohen and A. D. Ames}, journal={arXiv preprint arXiv:2409.14902}, year={2024} }