Accessed, 2007. ,
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
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
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
Accessed, 2007. ,
Event Pattern Detection for Embedded Systems, 2007. ,
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
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
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
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. ,
Events in an active objectoriented database system, Proc. 1st Intl. Workshop on Rules in Database Systems (RIDS), 1993. ,
COMPOSE: A system for composite specification and detection, Advanced Database Systems, 1993. ,
DOI : 10.1007/3-540-57507-3_1
System Level Performance Analysis -the SymTA/S Approach, IEE Proceedings Computers and Digital Techniques, 2005. ,
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
Fixed priority scheduling of periodic task sets with arbitrary deadlines, [1990] Proceedings 11th Real-Time Systems Symposium ,
DOI : 10.1109/REAL.1990.128748
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
A uniied approach for specifying timing constraints and composite events in active real-time database systems, 4th IEEE ,
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
Resource-Predictable and Efcient Monitoring of Events, 2004. ,
Early detection of timing constraint violation at runtime, Proceedings Real-Time Systems Symposium, 1997. ,
DOI : 10.1109/REAL.1997.641280
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
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
Improvement in feasibility testing for real-time tasks. Real-Time Systems, pp.19-39, 1996. ,
Real Time Scheduling Theory: A Historical Perspective. Real-Time Systems, pp.101-155, 2004. ,
Task scheduling in distributed real-time systems, IEEE Industrial Electronics Conference, 1987. ,
Analysis of deadline scheduled real-time sys- tems ,
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