Software design specification and analysis technique for the safety critical software based on programmable logic controller (PLC) | IEEE Conference Publication | IEEE Xplore