Formal Modeling of Sequential Function Charts With Time Petri Nets. - Nicholas Wightkin; Ugo A. Buy; Houshang Darabi (IEEE Trans. Control. Syst. Technol., 2011)