André Arnold Didier Bégay Jean-Pierre Radoux The Embedded Software of an Electricity Meter: An Experience in Using Formal Methods in an Industrial Project. 93-110 1997 28 Sci. Comput. Program. 2-3 db/journals/scp/scp28.html#ArnoldBR97