R. Alur and D. L. Dill, A theory of timed automata. Theoretical computer science, pp.183-235, 1994.

G. Behrmann, A. David, and K. G. Larsen, A tutorial on uppaal. In Formal methods for the design of real-time systems, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7

J. Bjørk, F. S. De-boer, E. B. Johnsen, R. Schlatte, and S. L. Tarifa, User-defined schedulers for real-time concurrent objects, Innovations in Systems and Software Engineering, vol.60, issue.61, pp.29-43, 2013.
DOI : 10.1016/j.jlap.2004.03.009

K. Bratanis, D. Dranidis, and A. J. Simons, Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements, pp.203-206, 2010.
DOI : 10.1007/978-3-642-15585-7_22

R. Bubel, A. Flores-montoya, and R. Hähnle, Analysis of executable software models Advanced Lectures, SFM 2014, pp.1-25, 2014.

Y. Chen, S. Iyer, X. Liu, D. Milojicic, and A. Sahai, SLA Decomposition: Translating Service Level Objectives to System Level Thresholds, Fourth International Conference on Autonomic Computing (ICAC'07), pp.3-3, 2007.
DOI : 10.1109/ICAC.2007.36

URL : http://www.cs.mcgill.ca/~xueliu/publications/2007_ICAC.pdf

A. Coles, A. J. Coles, A. Clark, and S. Gilmore, Cost-sensitive concurrent planning under duration uncertainty for service-level agreements, ICAPS, 2011.

M. Comuzzi, C. Kotsokalis, G. Spanoudakis, and R. Yahyapour, Establishing and Monitoring SLAs in Complex Service Based Systems, 2009 IEEE International Conference on Web Services, pp.783-790, 2009.
DOI : 10.1109/ICWS.2009.47

URL : http://www.soi.city.ac.uk/~gespan/icws09.pdf

E. Fersman, P. Krcal, P. Pettersson, and W. Yi, Task automata: Schedulability, decidability and undecidability. Information and Computation, pp.1149-1172, 2007.
DOI : 10.1016/j.ic.2007.01.009

URL : https://doi.org/10.1016/j.ic.2007.01.009

S. Gilmore, L. Gönczy, N. Koch, P. Mayer, M. Tribastone et al., Non-functional properties in the model-driven development of service-oriented systems, Software & Systems Modeling, vol.68, issue.3, pp.287-311, 2011.
DOI : 10.1016/j.scico.2007.05.004

G. Hogben and A. Pannetrat, Mutant Apples: A Critical Examination of Cloud SLA Availability Definitions, 2013 IEEE 5th International Conference on Cloud Computing Technology and Science, pp.379-386, 2013.
DOI : 10.1109/CloudCom.2013.56

C. Inzinger, W. Hummer, . Satzger, . Benjamin, . Leitner et al., Generic event-based monitoring and adaptation methodology for heterogeneous distributed systems, Software: Practice and Experience, vol.17, issue.1, 2014.
DOI : 10.1109/MIC.2013.19

M. M. Jaghoori, Time at your service: schedulability analysis of real-time and distributed services, 2010.

M. M. Jaghoori, Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability, Fundamentals of Software Engineering, pp.96-111, 2012.
DOI : 10.1007/978-3-642-29320-7_7

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: A Core Language for Abstract Behavioral Specification, Formal Methods for Components and Objects, pp.142-164, 2012.
DOI : 10.2498/cit.2002.01.01

URL : http://www.ifi.uio.no/%7Eeinarj/Papers/johnsen10fmco.pdf

E. B. Johnsen, R. Schlatte, and S. L. Tarifa, Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS, Formal Methods and Software Engineering, pp.71-86, 2012.
DOI : 10.1007/978-3-642-34281-3_8

K. T. Kearney, F. Torelli, and C. Kotsokalis, SLA★: An abstract syntax for Service Level Agreements, 2010 11th IEEE/ACM International Conference on Grid Computing, pp.217-224, 2010.
DOI : 10.1109/GRID.2010.5697973

A. Keller and H. Ludwig, The WSLA framework: Specifying and monitoring service level agreements for web services, Journal of Network and Systems Management, vol.11, issue.1, pp.57-81, 2003.
DOI : 10.1023/A:1022445108617

K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi, Efficient verification of realtime systems: compact data structure and state-space reduction, Real-Time Systems Symposium, 1997. Proceedings., The 18th IEEE, pp.14-24, 1997.

X. Logean, F. Dietrich, H. Karamyan, and S. Koppenhöfer, Run-time Monitoring of Distributed Applications, Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Middleware '98, pp.459-474, 1998.
DOI : 10.1007/978-1-4471-1283-9_28

K. Mahbub, G. Spanoudakis, and T. Tsigkritis, Translation of SLAs into Monitoring Specifications, Service Level Agreements for Cloud Computing, pp.79-101, 2011.
DOI : 10.1007/978-1-4614-1614-2_6

B. Nobakht, F. S. De-boer, and M. M. Jaghoori, The Future of a Missed Deadline, Coordination Models and Languages, pp.181-195, 2013.
DOI : 10.1007/978-3-642-38493-6_13

URL : https://hal.archives-ouvertes.fr/hal-01486026

B. Nobakht, F. S. De-boer, M. M. Jaghoori, and R. Schlatte, Programming and deployment of active objects with application-level scheduling, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1883-1888, 2012.
DOI : 10.1145/2245276.2232086

F. Raimondi, J. Skene, and W. Emmerich, Efficient online monitoring of webservice SLAs, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, pp.170-180, 2008.

P. Y. Wong, R. Bubel, F. S. De-boer, M. Gómez-zamalloa, S. De-gouw et al., Testing abstract behavioral specifications, International Journal on Software Tools for Technology Transfer, vol.14, issue.5, pp.107-119, 2015.
DOI : 10.1007/s10009-012-0250-1