Paolo Arcaini is project associate professor in the ERATO MMSD project at the National Institute of Informatics, Japan. He obtained a PhD degree in Computer Science at the University of Milan, Italy. His research topics include model-based testing, software product lines, and specification and verification using Abstract State Machines. http://group-mmm.org/~arcaini/