Leszek Holenderski
-
The Synchronous Approach to Designing Reactive Systems
Formal Methods in System Design - Special issue: industrial critical systems
A denotational semantics for Handel-C
Formal methods and hybrid real-time systems