Formal methods for embedded distributed systems: how to master the complexity

Applying service-oriented development to complex systems: BART case study

Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms

A component-based approach for constructing high-confidence distributed real-time and embedded systems

Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms

Hierarchical decision diagrams to exploit model structure

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Tree data decision diagrams

VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems