F. Bonchi, M. D. Lee, and J. , Rot Composing Families of Timed, p.51

F. Damiani, M. Lienhardt, and L. , Paolini Translating Active Objects into Colored Petri Nets for Communication Analysis, p.84

A. Gkolfi, C. Chang-din, M. Einar-broch-johnsen, and I. Steffen, Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes, p.100

C. Littledarwin and .. Java-systems, A Feature-Rich and Extensible Mutation Testing Framework for Large, p.148

S. Riahi, R. Khosravi, F. Ghassemi, and .. , Automatic Transition System Model Identification for Network Applications from Packet Traces, Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, and Fateme Bajelan Gray-Box Conformance Testing for Symbolic Reactive State Machines . . . . . 228