Documentation, News Documentation, News Formal verification of PLC programs using the B method June 7, 2013