Best paper at FMICS 2010: "The Metro Rio ATP case study" by Alessio Ferrari, Alessandro Fantechi, Daniele Grasso, and Gianluca Magnani. Published by Springer in LNCS 6371.