EB : Vers une méthode combinée de spécification formelle des syst ...