Software & Systems Modeling · 2016 · 36 citations · 31 references
31
Maintaining knowledge about temporal intervals
James F. Allen · Communications of the ACM · 1983 · 7.5K citations · Full text
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.8K citations
Cyber Physical Systems: Design Challenges
Edward A. Lee · 2008 · 3.4K citations