An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications - Sun, Y. (2014)
10.1080/00207179.2012.689862