Specification of real time control systems by means of sequential function charts | IET Conference Publication | IEEE Xplore