Formal Aspects of Component Software - nidottu, Englanti, 2014