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.