Synchronous programming of automatic control applications using ORCCAD and ESTEREL | IEEE Conference Publication | IEEE Xplore