Formal Methods for Embedded Distributed Systems: How to Master the Complexity

Hsieh - Synchronous Equivalence Formal Methods for Embedded Systems - X555z

Jacobs - Formal Methods for Open Object-Based Distributed Systems V I - X555z

Gorrieri - Formal Methods for Open Object-Based Distributed Systems - X555z

Software Engineering for Embedded Systems Methods Practical Techniq - X555z

Najm - Formal Methods for Open Object-Based Distributed Systems 6th - X555z

Steffen - Formal Methods for Open Object-Based Distributed Systems 7 - X555z