A Discrete Model for Real-Time Environments Distributed Synchronous Processes A Model of Probabilistic Processes Focus Points and Convergent Process Operators Verifying Real-Time Systems with Standard Tools Testing Semantics for Urgent Timed Process Algebras Analysis of Real-Time Systems Using OSA Experiments on a Fault-Tolerant Distributed System An Algebra Framework for the Feature Interaction Problem and other works in the areas of real-time systems theory, modeling, synthesis and tools for their design.