Bibiliography
=============
.. [Maler04] \O. Maler and D. Nickovic, *Monitoring Temporal Properties of Continuous Signals*, proceedings of FORMATS-FTRTFT, in: LNCS, vol. 3253, 2004.

.. [ContractMono] \A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. -B. Raclet, P. Reinkemeier, A. L. Sangiovanni-Vincentelli, W. Damm, T. A. Henzinger, and K. G. Larsen, *Contracts for system design*, 2018.

.. .. [Passerone19] \R. Passerone, I. n. Incer Romeo, and A. L. Sangiovanni-Vincentelli, *Coherent extension, composition, and merging operators in contract models for system design*, ACM Trans. Embed. Comput. Syst., Oct. 2019.

.. [Nuzzo19] \P. Nuzzo, J. Li, A. L. Sangiovanni-Vincentelli, Y. Xi, D. Li, *Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design*, ACM Trans. on Embedded Computing Systems, Jan. 2019.

.. .. [Oh19] \C. Oh, E. Kang, S. Shiraish, P. Nuzzo, *Optimizing assume-guarantee contracts for cyber-physical system design*, Design, Automation & Test in Europe Conference & Exhibition, Mar. 2019.

.. [Oh22] \C. Oh, M. Lora, P. Nuzzo, *Quantitative verification and design space exploration under uncertainty with parametric stochastic contracts*, IEEE/ACM International Conference on Computer-Aided Design, Nov. 2022.

.. [Gurobi] \Gurobi Optimization, LLC, *Gurobi Optimizer Reference Manual*, 2020. Available: http://www.gurobi.com.