Control Engineering Practice · 1993 · 25 citations · 7 references
ComputingComputer ScienceSystems EngineeringReal-time SystemsSoftware EngineeringReal-time SchedulingReal-time Systems ArchitectureReal-time Systems DesignReal-time Systems ProgrammingTime ConceptsTime SystemsReal-time RequirementsReal-time SemanticsReal-time Software ArchitectureReal-time System ModelsReal-time Systems Modeling
7
Towards a general theory of action and time
James F. Allen · Artificial Intelligence · 1984 · 2.6K citations
“Sometimes” and “not never” revisited
E. Allen Emerson, Joseph Y. Halpern · Journal of the ACM · 1986 · 996 citations · Full text
Temporal proof methodologies for real-time systems
Tom Henzinger, Zohar Manna, Amir Pnueli · 1991 · 148 citations
Temporal uncertainties in interactions among real-time objects
Hermann Kopetz, K.H. Kim · 2002 · 113 citations