A comparison of specifications between several formal methods