Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth Butts, Jürgen Gerhards, Behzad Samadi, Kevin Walker, Yuzhen Xie
(2015).
Piecewise-affine approximations for a powertrain control verification benchmark.
ARCH14-15. 1st and 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems.