Preface: Abstract state machines, alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012