Design of Temporal Logic embedded controller for small oven process | IEEE Conference Publication | IEEE Xplore