Developing Safety-Critical Software innbundetEngelsk, 2013