First phase formation at interfaces: Comparison between Walser-Bené and effective heat of formation model