. Absint-company-homepage, Accessed, 2007.

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, TIMES: A??Tool for Schedulability Analysis and Code Generation of Real-Time Systems, Proc. of 1st International Workshop on Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science
DOI : 10.1007/978-3-540-40903-8_6

M. Berndtsson and J. Hansson, Issues in Active Real-Time Databases, Active and Real-Time Database Systems, pp.142-157, 1995.
DOI : 10.1007/978-1-4471-3080-2_9

. Bound-t-homepage, Accessed, 2007.

J. Carlson, Event Pattern Detection for Embedded Systems, 2007.

J. Carlson and B. Lisper, An event detection algebra for reactive systems, Proceedings of the fourth ACM international conference on Embedded software , EMSOFT '04, 2004.
DOI : 10.1145/1017753.1017779

S. Chakraborty, S. , and L. Thiele, A general framework for analysing system properties in platform-based embedded system designs, 2003 Design, Automation and Test in Europe Conference and Exhibition, 2003.
DOI : 10.1109/DATE.2003.1253607

S. Chakravarthy and D. Mishra, Snoop: An expressive event specification language for active databases, Data & Knowledge Engineering, vol.14, issue.1, pp.1-26, 1994.
DOI : 10.1016/0169-023X(94)90006-X

A. Galton and J. C. Augusto, Two approaches to event deenition, Proc. of Database and Expert Systems Applications 13th Int. Conference (DEXA'02), volume 2453 of Lecture Notes in Computer Science, 2002.

S. Gatziu and K. R. Dittrich, Events in an active objectoriented database system, Proc. 1st Intl. Workshop on Rules in Database Systems (RIDS), 1993.

N. Gehani, H. V. Jagadish, and O. Shmueli, COMPOSE: A system for composite specification and detection, Advanced Database Systems, 1993.
DOI : 10.1007/3-540-57507-3_1

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter et al., System Level Performance Analysis -the SymTA/S Approach, IEE Proceedings Computers and Digital Techniques, 2005.

M. H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. G. Harbour, A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems, 1993.
DOI : 10.1007/978-1-4615-2796-1

J. Lehoczky, Fixed priority scheduling of periodic task sets with arbitrary deadlines, [1990] Proceedings 11th Real-Time Systems Symposium
DOI : 10.1109/REAL.1990.128748

C. L. Liu and J. W. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.
DOI : 10.1145/321738.321743

G. Liu, A. Mok, and P. Konana, A uniied approach for specifying timing constraints and composite events in active real-time database systems, 4th IEEE

G. Liu, A. K. Mok, and E. J. Yang, Composite events for network event correlation, Integrated Network Management VI. Distributed Management for the Networked Millennium. Proceedings of the Sixth IFIP/IEEE International Symposium on Integrated Network Management. (Cat. No.99EX302), pp.247-260, 1999.
DOI : 10.1109/INM.1999.770687

J. Mellin, Resource-Predictable and Efcient Monitoring of Events, 2004.

A. Mok and G. Liu, Early detection of timing constraint violation at runtime, Proceedings Real-Time Systems Symposium, 1997.
DOI : 10.1109/REAL.1997.641280

A. K. Mok, P. Konana, G. Liu, C. Lee, and H. Woo, Specifying timing constraints and composite events: an application in the design of electronic brokerages, IEEE Transactions on Software Engineering, vol.30, issue.12, pp.30841-858, 2004.
DOI : 10.1109/TSE.2004.105

I. Motakis and C. Zaniolo, Formal semantics for composite temporal events in active database rules, Journal of Systems Integration, vol.7, issue.3/4, pp.291-325, 1997.
DOI : 10.1023/A:1008231404725

I. Ripoll, A. Crespo, and A. K. Mok, Improvement in feasibility testing for real-time tasks. Real-Time Systems, pp.19-39, 1996.

A. Burns, G. Buttazzo, M. Caccamo, J. Lehoczky, and A. K. Mok, Real Time Scheduling Theory: A Historical Perspective. Real-Time Systems, pp.101-155, 2004.

L. Sha, R. Rajkumar, and J. Lehoczky, Task scheduling in distributed real-time systems, IEEE Industrial Electronics Conference, 1987.

M. Spuri, Analysis of deadline scheduled real-time sys- tems

K. W. Tindell, A. Burns, and A. J. Wellings, An extendible approach for analyzing fixed priority hard real-time tasks, Real-Time Systems, vol.4, issue.2, pp.133-151, 1994.
DOI : 10.1007/BF01088593