Sensus
Is also being used in the UK meters developed by EDMI. The source is completely closed and supplied as a binary library. As far as I'm aware, no security audit has been performed on it by CESG, who are involved with specifying the security requirements.