Partial Order Verification of Programmable Logic Controllers*