The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project.

André Arnold Didier Bégay Jean-Pierre Radoux The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project. 19-32 1996 conf/amast/1996 AMAST db/conf/amast/amast96.html#ArnoldBR96