IFAC Proceedings Volumes · 1992 · 27 citations · 13 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
13
Towards a general theory of action and time
James F. Allen · Artificial Intelligence · 1984 · 2.6K citations
David Jefferson · ACM Transactions on Programming Languages and Systems · 1985 · 2.4K citations · Full text
“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