Conference on Software Engineering and Formal Methods 04 - 08 September 2017 Trento, Italy FBK, eesa, cini