A real-time profile for UML

Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

C. L. Liu, J. W. Layland · Journal of the ACM · 1973 · 8.3K citations · Full text

Computing, Computer Engineering, Computer Science +16

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.2K citations

Dentistry, Health Promotion, Restitution +1

Real-time object-oriented modeling

Choice Reviews Online · 1994 · 1K citations

Computing, Computer Science, Formal Methods +15

The synchronous languages 12 years later

Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE · 2003 · 932 citations · Full text

Computing, Computer Engineering, Computer Science +15