Read-alikes

Books like Advances in Verification of Time Petri Nets and Timed Automata

Readers who loved Advances in Verification of Time Petri Nets and Timed Automata by Wojciech Penczek and Agata Pólrola picked these up next.