Formal Aspects of Component Software nidottuEnglanti, 2013