Synthesis and implementation of logic controllers – A review. (2017)