Formal Methods for the Design of Real-Time Systems: International School on: New

Real-Time UNIX® Systems: Design and Application Guide (The Springer Internationa

CAST Methods in Modelling: Computer Aided Systems Theory for the Design of Intel

The Design Of Complex Information Systems: Common Sense Methods for Success

Real-Time UNIX® Systems: Design and Application Guide (The Springer Internationa

CAST Methods in Modelling: Computer Aided Systems Theory for the Design of...

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner

Formal Methods for Real-Time and Probabilistic Systems : 5th Inte