Graphic LOTOS specification of an EN50254 system