Interval and point-based approaches to hybrid system verification

CPO semantics of timed interactive actor networks

Theoretical Computer Science

Requirements Validation for Hybrid Systems

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification

Modeling timed concurrent systems

CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory

Validation of requirements for hybrid systems: A formal approach

ACM Transactions on Software Engineering and Methodology (TOSEM)