Reliable Software Technologies – Ada-Europe 2016 - heftet, Engelsk, 2016