version used for the JSSPP'17 article