Read-alikes
Books like Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Readers who loved Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems by Tiziana Margaria and Bernhard Steffen picked these up next.
