Ruzena Bajcsy
Univ. of Pennsylvania, Philadelphia
Operating system concepts (2nd ed.)
How to cook a temporal proof system for your pet language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability
Hybrid Systems