Internal inconsistencies in the third edition of the IEC 61131-3 international standard. - Bruno Goncalves Silva; Mário de Sousa (ETFA, 2016)