Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco de Nicola on the Occasion of His 65th Birthday (Paperback, 2019)
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Sys (Paperback, 2004)