Systems and methods for mining temporal requirements from block diagram models of control systems
Jyotirmoy V. Deshmukh, Xiaoqing Jin, Alexandre Donze and Sanjit A. Seshia
U.S. Patent 9,081,900. July 2015