Formal Methods for Executable Software Models (SFM 2014)