Introduction to the Software Engineering and Formal Methods 2013 special issue. - Bravetti, Mario; Hierons, Robert; Merayo, Mercedes (Software & Systems Modeling, 2017)