Tianxiang Dai Haya Schulmann Michael Waidner 651-660 2016 CANS https://doi.org/10.1007/978-3-319-48965-0_43 conf/cans/2016 db/conf/cans/cans2016.html#DaiSW16