Work in Progress - Model-Check PLC Programs: Towards a Efficient Formalization Approach. - Jessica Ravakambinintsoa; Emil Dumitrescu; Eric Zamaï; Denis Chalon (ETFA, 2024)